#7 extract profile swicth from server

[Stefan Sauer]

#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