Added on-the-fly DFA computation algorithm, which is now default. New option '-r (--precompute)' switches to the old one.