gnome shell extension that tiles windows as you like.