Merge pull request #31 from jfabry/master

Cross-cutting corrections and additions
Generate Markdown output
Pass done avor Johan's notes
Generate Markdown output
minor fix
Generate Markdown output
Add a section about the Spec Interpreter
Generate Markdown output
Half of the first draft of spec reusability
Generate Markdown output
seconf half done
Generate Markdown output