Added doxygen support.

Now make -C doc runs doxygen.