Spacing between GTK controls, default at 2

Property definitions

linux :: ui $ App :: control_spacing
	# Spacing between GTK controls, default at 2
	var control_spacing = 2 is writable
lib/linux/ui.nit:76,2--77,36