Added UTF8 encoding flag to javadoc for our new server.
Merge branch 'develop'
Merge branch 'master' of github.com:processing/processing-docs into develop
Merge branch 'develop'