Switched to codox

Switching to codox required a lot of reformatting and docstring
commenting. Everything is now in order, and a few minor improvements
made it into core in the process.