Myrmopedia and java docs

* Renamed myrmopedia and antopedia to myrmopaedia
* Added java docs to the API