New section about Spec

- Introduce a new section about Spec
- Markdown file removed since it cannot be generated using pandoc anymore
- Add the pdf output file instead