Fixes #77. g++ 5.1 warns about auto_ptr. * src/twaalgos/ltl2tgba_fm.cc: replace auto_ptr by unique_ptr.