README revamp

For ease of maintenance, the READMEs are rewritten in Markdown. Content
is also extensively rewritten.
Merge branch 'readme-revamp'