Removing unused files
These tests contain XOR clauses, removing them
Removing tests that contain XOR clauses
Adding CPack-based release
Removing obsoleted speedtest HOWTO
The input vector can be size_t size, take care of that
Measure cache update time completely separately, and decide based on that
More comments in Prober
Switch off stamping only after 15M variables
Switch off caching after 8M variables