progress on using java primitives as builtins
implemented builtin support for machine integers; int32 uses the java primitive type int
hooked java functions apply before the k rules; minor additions to the builin machine integers
revised shift and overflow operations
final fixes; added some tests
addressed some code review issues
properly deleted unused class
renamed ==MInt and =/=MInt in eqMInt and neMInt
renamed inf and sup to min and max
more fixed sadd hook; more comments
changed srem/sdiv; minor stuff
more fixes
final fixes
Merge pull request #291 from andreistefanescu/machine_integers

machine integers implemented with (java) primitives or big integers in the java backend