New package: terminology-0.3.0; close #171.
gnome-shell: update to 3.10.2.1.
gnome-shell: relax mutter build dependency.
gnome-shell: relax mutter run-time dependency (noticed by xdave).