Provide format conversion option (-t TYPE) in autman
Change string about gr1c version in output files

to be more generic, since now there are tools like autman that
can be used to create those files even when the strategy automaton
itself was not synthesized uing gr1c.