Put some specification stuff in README.md