Only print auto abort parameters if auto abort is enabled.
Merge branch 'master' of https://github.com/dstehle/fplll
Merge pull request #9 from malb/master

Only print auto abort parameters if auto abort is enabled