implement a feed-back arc set heuristic
This is needed to improve conversion from DRA to NBA, as well as complementation of DBA.
Alexandre L has a branch for this, but it is out-of-date w.r.t. to the current code base, and as far as I know the FAS hasn't been integrated into both algorithms.