Implement interrupt functionality. Add outlev option.
Set classpath in the jacop driver, not in JNI layer.
Make getters const.
Update gecode to version 4.1