extra conc options, colour coding, gui tweaks, load works for conc
extra conc options, colour coding, gui tweaks, load works for conc


Former-commit-id: 383f5806fe1dad7c632f2721d1c477b39e5c6e78 [formerly a2582ea55f2e340bc2fb0e0605d25722204d0342]
Former-commit-id: 6d74698b66e50794816557a287ad779f8b8ea895
Former-commit-id: 606864ce18ebfe89879e12c1282768585e45f639
Former-commit-id: 1109af715478326d2f7d0a9445d6dac5c774d139 [formerly ade16fa3e169cbdd4c884592d868fe068d9861e2]
Former-commit-id: e6a75b7d0929340a1f3fb72ec7d380113a6a7335
interrogator/corpkit,interrogator/corpkit