* bench/ltl2tgba/parseout.pl: Fix a warning when using an option by shifting the option when there is one.