0.13

CHANGES:

Fastdom: implementation of a dominance algorithm.
Fix various bugs in Valmari DFA minimizer.
Get rid of "PCG" unused code.
Doubledouble: disable FMADD to strictly stick to 64-bits precision.