Tool for configuring the Openbox window manager