Removes built doc for v2.5.0

Removes the doxygen doc and stan manual from the repository. Nothing else.