#814486 gitk: option to start a terminal in the working directory