Added a nonempty README.