drop doc/doxygen/ (now under gh-pages)