Deleted html directory of documentation generated by doxygen