Move specification files to docs/spec directory