Add and Fix Game-of-Life, Hamiltonian, and QBF for Grendel

[SSoelvsten]

Game of Life

• Fix 'easy' symmetry quantification for mirror-double_diagonal ( closes Implement row_symmetric for all Symmetries #93 )
• Fix 'easy' symmetry quantification for rotate-90 ( closes Implement row_symmetric for all Symmetries #93 )
• Fix final total time lacks precision
• Add Grendel timings for Game of Life

Hamiltonian

• Fix indentation and lingering debug printing
• Add Grendel timings for Hamiltonian with Heule's & Bryant's n²log(n) encoding.
• Update Grendel timings for Hamiltonian with Bryant's n⁴ encoding

QBF

• Merges prenex quantifiers. Even though, in Jaco's experience, this is not always a good thing to do, it fits better with the goal of our experiments (closes Merge Quantifier blocks in Prenex #99).
• Moved TODOs into QBF Solver : ZDDs #78 .
• Fix Debug mode assertions.
• Ensure STATS outputs are flushed. This way, one has a working "progress bar"
• Add Grendel timings for QBF

Other

• Extend Grendel script with partitions (default q48)
• Set memory limit to maximum of whatever the node has ( closes Decrease SLURM Build Script's Memory #63 )
• Small fixes and improvements to the Makefile