GitLab

This fixes the display on Retina Macbooks. It also moves us away from depending
on the ancient XCode3 sdk.

Conflicts:
	doc/release-process.md
Rebased-By: Wladimir J. van der Laan <[email protected]>
Rebased-From: 2869b134