simple performance comparison for different sharpSAT versions
more time comparison
cleaning up taketime code and adding the option of input by directory
refactoring html report
refactoring html report - II
nicer html report
verbosity only for the chosen few
remove remnants of old make process