Add enhancements for PAAR2022

  - Quapify: Simplify command line use with more messages.
  - Quapify: Add some new printing features (see -h).
  - Quapify: Support solving without adding assumptions
  - QuAPI: Add Zero-Copy support for big formulas as compile time
    option. Enable using -DENABLE_ZEROCOPY with cmake.
  - QuAPI: Add ZLib function injection support, so that Minisat works.
  - QuAPI: Add error for when not compiling on Linux (as only
    Linux is supported currently).
  - QuAPI: Add error message for when read() injection didn't work.
  - QuAPI: Remove strict requirement for PCRE2. Builds now also work
    without the library being installed, but parsing a solver's
    stdout is disabled if PCRE2 support is not compiled in. QuAPI exits
    if one tries to use regular expressions without PCRE2.
  - General: Add some scripts for running on slurm clusters.