Speed up builtin gnome-shell animations.

Setting speed factor permanently without extension

Add environment variable e.g. to /etc/environment

GNOME_SHELL_SLOWDOWN_FACTOR=0.4