added new scripts for tests
added picosat-960 solver