Added .gitignore
Paragraphs may now be numbered
Removed unused opens and made various tweaks to reduce shadowing
(code now requires OCaml >= 4.01.0)