Fixes Marked transfer function for MFence
Adds range ( -- ) functions to Util
Adds parsing of final conditions in litmus tests
Adds `satisfies` in domain interface + Marked impl

This commit adds a `satisfies` boolean function in the domain interface,
and provides an implementation of this function for the Marked
domain (the only one used so far).
Aligns speclist of Canal
Print the name of the file analysed by Canal
Makes canal check conditions by default for litmus

If the --litmus condition is present, the canal program checks the
satisfaction of the final condition of the litmus file after the
execution of the code instead of printing the complete result of the
analyse. The --no-cond flag prevents this behavior (and canal prints the
analyse result).