Some development tools for Linux
Fixed README
Minor fixes to README
Minor changes to README.
Merge pull request #2 from GeorgViehoever/DevTools

Dev tools