States files can now not only contain numbers as potential values for
variables but also arbitrary strings which includes e.g `true` and
`false`.

Otherwise, parsing would silently fail in some cases

This adds two options to `prism-converter`: `--states-file` allows to
specify a `.sta` file as exported from PRISM and
`--partition-on-variables` allows to specify a list of variables from
the model that should be used to determine the initial partition.

This commit only adds the parsing and interpretation steps, the
resulting partition is not yet reflected in the output.

Previously, it just used "(stdin)" everytime, even if an actual file
was read.

Filenames given on the command line were simply ignored and
stdin/stdout was used instead. This is now fixed (and you can still
use stdin/stdout by specifying "-" as filename or omitting the
argument).

Our main input format doesn't allow scientific notation for floats
currently, so we should avoid to generate them.

This adds options, help text, etc to the `prism-converter` binary.

This enables the usage of "X" as functor expression. Previously, this
would have thrown an error.

Implementation wise, a single Variable "X" is simply special cased to
be the Identity functor at a suitable location in the parser.

The 'help list_functors' command now also shows a small syntax example
for the functor expression of every functor.

This isn't needed any more since we already have the `unsafeH3`
abstraction.

This changes a few apis from boxed to unboxed vectors to prevent
unnecessary heap heap allocation and pointer indirection.

This can be used in cases where the caller can guarantee that the
returned vector isn't referenced any more after the next mutation of
RefinablePartition.

There was a bug that prevented a single X in parenthesis to be parsed.
This is now fixed.

This resolves the cyclic dependency between SomeFunctor and
Coalgebra.Parser.

When the predicate is non-monadic, we can make the implementation
slightly faster by directly implementing the code instread of relying
on partitionM.

This improves running times slightly and may avoid space leaks that
arise from holding on to the labels-list for too long.

Most of those are just small one-liners, so it makes sense to always
inline them.

This adds an optional "-v" command line flag to the main executable
that prints timing statistics for the various phases in the program.