First patch release after the great feedback from the [Starterkit](https://indico.cern.ch/event/752367/).
Git is more user-friendly: it uses nano by default as editor, and its interface is now colored by default.
The DNS fix (using `cloudflared`) works out of the box now, and in a completely transparent fashion: timeouts have been adjusted properly.