Upload dev JavaDoc to new web site (#612)

- upload to GitHub pages
- use jGit for upload
- use SSH deploy key
- delete old upload facilities