adding compiled doc to v2.5.0
removed flags from make/local
Merge pull request #1089 from stan-dev/feature/issue-1086-v2.5.0

Fixes #1086. v2.5.0