The parser currently doesn't accept uppercase letters. We should fix the parser,
but in the mean time the help output (shown when running cool without argument)
contained unparsable examples.

Selective/Parallel test execution

See merge request !5

Add licensing info

See merge request !3

Documentation update

See merge request !4

_oasis file said the project is GPL licensed but no LICENSE file was included

CI Improvements

See merge request !2

Ncurses should be available on all systems, in contrast to curses. Most
distributions provide a symlink from libcurses.so to libncurses.so, but some
don't (e.g. nix).

Ocaml swiched to immutable strings by default in this version. Cool should
probably be ported to use those, but in the meantime we just disable the feature
to make it build on newer ocaml versions.

Tried to optimize translation with fixpoint approximation; added depthFormula function in CoAlgFormula

String.split_on_char was introduced in OCaml 4.04, but we want to
support 4.02.

The user can now choose which fragment of the mu-calculus the reasoner
uses. More specialized fragments can have better performance
characteristics.

Adds a new module CoolUtils.Args that implements a generic command
line argument parser. This makes it easier to add new options to the
main program.