Generated API documentation with doxygen

* Placeholder for protex generated docs (I couldn't get protex to work).