Add JVM args to gradle.properties

I took these out of the Jenkins config and moved them to gradle.properties, partly because the Dev@Cloud setup doesn't seem to have a way to specify Java options in the job configuration, and also because anyone who clones the code will get the correct options now.