A tiling window manager for Microsoft Windows