Set some sensible encoding options for javadoc