Add 'doxygen' to apt-get for 'make doxydoc'