[Xmonad] darcs patch: make borderWidth dynamically configurable.