Remove files which will be useless for the new solver
Rename project from MiniSat to Josat
Add SCons-based build script