Ok, now let's actually add the dotfiles