bashrc: improve quoting for PATH
gitk: update gitk config file, particularly colours and fonts