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
fixed dump sign issue as suggested by ksvanhorn in issue #197
Merge pull request #199 from stan-dev/feature/issue-197

Fixes #197.