Rename README.md to kravspec.md