Added support for iinc bytecode in JVMEnv and NumericalProperty

We also add a new method addConstant in NumericalProperty. The default
implementation use linearAssignment, but a real domain may override it
for greater performance.