Add a README file.

Fixes #4085