Bug#837337: gnome-shell: Gnome severely broken in strech (version mismatch)

[Petr Pulc]

See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=836972 for working
solution. (Update mutter et al. to 3.21).
​