added stp and cryptominisat as submodules