Specify a fixed small heap size for integration-simpleTests,
otherwise the amount of memory Java uses depends on the RAM of the machine.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13146 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c