Add a `CONTRIBUTING.md` file

Extract the information on contributing from the README to a dedicated
new root file CONTRIBUTING. This is both ensuring the README remains
concise and also allows to take advantage of GitHub's usability feature
that prompts people to read a repo's guidelines before reporting issues
or opening pull requests.