Gnome Shell  Extension that changes the display resolution via xrandr