Separate doxygen generation and html tidy into separate scripts