Linux documentation.

Also contains two small fixes for compiling-with-git.md, but whatever.
This whole section seems to be duplicated from above.