Removing __STDC_FORMAT_MACROS

Also, the copy-paste of statistics printing code has been greatly
reduced (though it's still copied among MiniSat&CryptoMiniSat)

Fixes #28