dotman is a dotfiles manager