Made path to openjml jar a variable
Merge branch 'master' of https://github.com/bvdelft/openjml-web