Fork of http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/