Better build subdirectory structure
Using <cstdint> from C++11
Removing newgate from gate manipulation
No automake tools
Merge branch 'master' of github.com:msoos/cryptominisat
Forgot to include <cstdint> into solverconf.h. Fixing.

Thanks to Martin Maurer for finding this

Fixes #151