My dotfiles + python script to install them.