+ colorizer widget
Merge branch 'master' of https://github.com/mojmir-svoboda/DbgToolkit

Conflicts:
	trace_server/trace_server.pro
* csv dialogue (WIP)
+ menu item for csv