get rid of auto_ptr, it's deprecated

There is at least one use of auto_ptr in ltl2tgba_fm.cc. gcc 5.0 warns about it.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information