Pushing javadoc-related HTML files

Just because. Changed the gitignore file too. FINAL PUSH.