pythonPackages: add dotfiles, dotfile manager