javadoc-ing
add javadoc to gitignore (cf. gh-pages branch)