Merge branch 'develop' of https://github.com/stan-dev/stan into develop
Merge branch 'develop' of https://github.com/stan-dev/stan into develop
Merge branch 'develop' of https://github.com/stan-dev/stan into develop
Merge branch 'develop' of https://github.com/stan-dev/stan into develop
new release notes for 2.0.0
Merge pull request #287 from stan-dev/issue/release-notes-2.0.0

Issue/release notes 2.0.0