.gitignore
examples
Big chunk of changes

Extracted code to funsat-rpp, upgraded to 7.8, plus a long list of
unaccounted changes.
Thank god the type gods are watching…
Updated package description and version number
additional strategies for reproducing the SGST07 prover