My dotfiles for ubuntu 12.04 and various tools