Remove ProfileSips

[SamArch27]

This is to remove ProfileSips since we can just use the auto-scheduler now.

[codecov]

Codecov Report

Merging #2251 (25265cc) into master (84401ed) will increase coverage by 0.05%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master    #2251      +/-   ##
==========================================
+ Coverage   75.06%   75.11%   +0.05%     
==========================================
  Files         455      455              
  Lines       28462    28443      -19     
==========================================
  Hits        21364    21364              
+ Misses       7098     7079      -19     

Impacted Files	Coverage Δ
src/ast/transform/MagicSet.cpp	91.93% <ø> (ø)
src/ast/utility/SipsMetric.h	33.33% <ø> (+2.56%)	⬆️
src/ast/analysis/ProfileUse.cpp	55.00% <100.00%> (+0.45%)	⬆️
src/ast/transform/MinimiseProgram.cpp	100.00% <100.00%> (ø)
src/ast/transform/RemoveRelationCopies.cpp	100.00% <100.00%> (ø)
src/ast/utility/SipsMetric.cpp	51.39% <100.00%> (+2.24%)	⬆️
src/include/souffle/profile/ProfileEvent.h	92.85% <100.00%> (ø)
src/main.cpp	67.33% <100.00%> (ø)
src/ram/utility/Utils.h	100.00% <100.00%> (ø)
src/include/souffle/utility/ParallelUtil.h	75.19% <0.00%> (-1.56%)	⬇️
... and 6 more

[b-scholz]

Thanks for refactoring!