Move install.txt to README

This is to meet the GitHub standard, and also fix a couple of
minor details in the text.