Update genjavadoc compiler plugin version and make it configurable

genjavadoc compiler plugin version 0.7 was recently released with a resource leak fix. I have bumped the version in this plugin and also made that version configurable, so that this plugin would not need to be released whenever genjavadoc is updated.