gr1c automaton file format is now versioned
DOC: Mention autman command-line program
DOC: suggest "make all" rather than "make exp"
BUILD: New "auxiliary" category of programs
Merge hidden branch, providing first draft of versioned gr1c aut format
Move autman.c to directory dedicated for such code