Fixing some things about the pycryptosat test
Fixing library location
Fixing typo