install curl, needed for pauls dotfiles

Hi Dieter,

you missed to install curl which is needed to easily install paul's dotfiles.

Stefan