In particular, split up the linux instructions into different pages
for different distributions, since they are very differnt, and in
general try to include more detail.
There are still some OSes that definitely need more info, but this
is more than we had before...
