JBMC: Added java-models-library dependency#2225

cesaro merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

cesaro:extended-java-modelscesaro/cbmc:extended-java-modelsCopy head branch name to clipboard