updating git ignore
adding the right dependency for make
doc: updating doc
updating doc
including make/local from the makefile
doc: updating
updating stan to develop
Merge pull request #63 from stan-dev/feature/issue-22-manual-2.5

Fixes #22. Feature/issue 22 manual 2.5