update dotfiles, notably the Stark theme