hotkey to remove borders in awesome, some minor tweaks and additions