Install OpenBox window manager in Linux Mint 15