Rename specification.md to specification-0.1.md