Update pom for compatibility with the maven-release-plugin
Use maven-shade-plugin to produce executable jar
Make shell scripts more cross-platform compatible
Clean up javadoc problems
Merge branch 'releaseplugin' into next

* releaseplugin:
  Update pom for compatibility with the maven-release-plugin
Merge branch 'scripts' into next

* scripts:
  Make shell scripts more cross-platform compatible
Merge branch 'javadoc' into next

* javadoc:
  Clean up javadoc problems
Merge branch 'next' into devel

* next:
  Clean up javadoc problems
  Make shell scripts more cross-platform compatible
  Use maven-shade-plugin to produce executable jar
  Update pom for compatibility with the maven-release-plugin