removing the optional bootclasspath from the manifest.mf file of generated jar
Merge pull request #62 from runtimeverification/removeBootClassPath

Remove boot class path