Linux documentation.

Also contains two small fixes for compiling-with-git.md, but whatever.