GitHub niceties: move doc/README to README.md