Updating cmake build with install path, lib path, include path

Thanks to all the STP developers for their excellent build scripts that
I used as a base
It's now 'cryptominisat3' and 'libcryptominisat3' etc.

This allows cryptominisat2 and cryptominisat3 to co-exist on the same
system
Making glue&size distribution only compile on STATS_NEEDED_EXTRA