Fixed a small typo
updated help's table of content
renamed general dev documentation to github documentation
added a getting started file for developers
added some info on vagrant to the help for devs
Merge pull request #1263 from silke/documentation

Documentation