Fixes an issue with build system.

On the cs servers the CLASSPATH wouldn't include sat4j during tests this lead
to all tests failing. Test configure will now add sat4j itself.