Update gecode
Add BasicSolver methods to get option values. Test getting option values in gecode_test.