Simplify things

[ice1000]

• Cleanup bors related code
• Fix Kala deprecation
• Use primitive type instead of Boolean
• Use new build-util tool class

[codecov]

Codecov Report

Merging #1012 (607a989) into main (40e1859) will not change coverage.
Report is 8 commits behind head on main.
The diff coverage is 84.44%.

❗ Current head 607a989 differs from pull request most recent head fe6ae51. Consider uploading reports for the commit fe6ae51 to get more accurate results

@@            Coverage Diff            @@
##               main    #1012   +/-   ##
=========================================
  Coverage     81.79%   81.79%           
  Complexity     3471     3471           
=========================================
  Files           287      287           
  Lines         10640    10640           
  Branches       1281     1281           
=========================================
  Hits           8703     8703           
  Misses         1216     1216           
  Partials        721      721           

Files	Coverage Δ
base/src/main/java/org/aya/concrete/Expr.java	85.38% <100.00%> (ø)
...c/main/java/org/aya/concrete/stmt/QualifiedID.java	100.00% <100.00%> (ø)
base/src/main/java/org/aya/core/def/PrimDef.java	85.22% <100.00%> (ø)
base/src/main/java/org/aya/core/term/PathTerm.java	94.59% <100.00%> (ø)
...ase/src/main/java/org/aya/core/term/SigmaTerm.java	85.36% <100.00%> (ø)
base/src/main/java/org/aya/generic/Shaped.java	82.60% <100.00%> (ø)
...c/main/java/org/aya/prettier/ConcretePrettier.java	81.93% <100.00%> (ø)
...e/src/main/java/org/aya/prettier/CorePrettier.java	77.68% <100.00%> (ø)
...c/main/java/org/aya/resolve/error/NameProblem.java	52.27% <100.00%> (ø)
.../src/main/java/org/aya/tyck/error/HoleProblem.java	64.70% <100.00%> (ø)
... and 12 more