Minor cleanings

Some cleanings of the README file, replaced a link to docs with a pretty GitHub button.