removing compiled manual from the repository
Merge pull request #1021 from stan-dev/feature/remove-manual-2.4.0

removing compiled manual from the repository