remove Global singleton

[quentin]

Hi, this change removes the Global singleton object. This is a requirement to allow a more flexible reuse of libsouffle.

[codecov]

Codecov Report

Merging #2360 (04ff3b7) into master (3047414) will increase coverage by 0.06%.
The diff coverage is 84.51%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2360      +/-   ##
==========================================
+ Coverage   77.43%   77.50%   +0.06%     
==========================================
  Files         470      466       -4     
  Lines       29332    30690    +1358     
==========================================
+ Hits        22713    23786    +1073     
- Misses       6619     6904     +285     

Impacted Files	Coverage Δ
src/ast/Program.h	100.00% <ø> (ø)
src/ast/analysis/JoinSize.h	100.00% <ø> (ø)
src/ast/analysis/SCCGraph.h	93.75% <ø> (-6.25%)	⬇️
src/ast/transform/InlineRelations.h	50.00% <ø> (ø)
src/ast/transform/PragmaChecker.h	0.00% <ø> (ø)
src/ast2ram/provenance/UnitTranslator.h	100.00% <ø> (ø)
src/reports/DebugReport.h	53.33% <ø> (-3.81%)	⬇️
src/Global.cpp	92.85% <33.33%> (-0.30%)	⬇️
src/ast/analysis/SCCGraph.cpp	69.73% <50.00%> (ø)
src/reports/DebugReport.cpp	21.15% <50.00%> (+5.24%)	⬆️
... and 231 more

[b-scholz]

Thanks for the contribution!