Improving top-level README.
Minor fixes to the READMEs.