[spec] Some space to write things with a pen
Merge branch 'master' of github.com:OCamlPro/perfOCaml-2014