Documentation

Doxygen (http://www.doxygen.org) is needed to build documentation.
It can be generated by doing a "make doc" in doc/.