kmax

Print error output when kmaxall encounters an error running kmax

Script documenting how to run the Kmax experiments

Added output of the table entries for the paper's evaluation table

Tweak how kclause is called to get unselectable config options

Separate out running kextract on Linux from running kclause