wmctrl: command-line window-manipulation tool