Update and rename spec.txt to spec.md

Use markdown for the spec.