Final version of CRISIS 2013 tutorial.

The template to use was IEEE 2-column.
New paper: JFLA-2014 submission.
Final version of CRISIS slides.
Final (short) version for JFLA 2014.
First version of JFLA-2014 slides.
Final version of JFLA 2014 presentation.
Trivial representation of DVI files.
Add an empty Changelog (Github issue #5).
Some work on bug triage.
Improve enum preprocessing to allow for more flexible patterns (Github issue #11).

It is now possible to use
 | x | y -> Constructor
to shorten some code.

To express ranges in a short manner, the following patterns are now possible:
 | (x, y) -> Constructor
(it is not possible to write x .. y because camlp4 does not seem to understand it.
Simplify some enums using the new patterns.