IC name -> time mapping works, though the data is not enough and is slightly sucky. 	modified:   ../../framework/plugins/ticket_printer.py 	modified:   ../../framework/pyro.config 	modified:   ../../framework/pyro.config.nessi6 	modified:   wrapper.py
IC name -> time mapping works, though the data is not enough and
is slightly sucky.
	modified:   ../../framework/plugins/ticket_printer.py
	modified:   ../../framework/pyro.config
	modified:   ../../framework/pyro.config.nessi6
	modified:   wrapper.py

recski/pymachine,recski/pymachine,Eszti/pymachine,kornai/pymachine,kornai/pymachine,Eszti/pymachine