#1 extract code to swicth style, lang, renderer from gitk-server into a common api #2 make gitk-server use new api #3 write a cmdline tool to switch and query profiles