Gecode 6.0.1

Contains a number of small fixes and one large fix for float variables (basically, minimodel using float variables would always lead to overflow and hence throw an exception).