THANKS

Thanks to:

- Fareed Arif for adding support for SMT solver MathSAT.

- Kevin Blicharski for replacing Pandoc with Sphinx.

- Kevin Blicharski for developing a nightly build system for Travis.

- Amos Robinson for fixing support for arrays in old front-end.

- Amos Robinson for adding support for abstract types.

- Amos Robison for fixing JSON printing of execution path values.

- Correnson Loïc for adding support for hexadecimal notation.

- Correnson Loïc for adding support for pretty-printing rationals in
  scientific format with error magnitudes.