Added ability to output a mapping file of control store addresses to instructions, to make troubleshooting in gtkwave easier.