Moved README.md to specification.md