fixes #1101. removes make/local from repo and updaes makefile to not require it
Merge pull request #1106 from stan-dev/feature/issue-1101-remove-makelocal

Removes make/local from repo