Tab completion

The other/wxgen.sh script contains tab completion code for the bash shell. To use it, copy it into wherever bash completion scripts are kept (e.g. /etc/bash_completion.d) or call the script in your ~/.bashrc file

Now hitting TAB twice after typing wxgen on the command-line will show the available command-line options. This will also tab complete after wxgen sim, wxgen truth, wxgen verif and after typing -m, -a, and -tr.