A Nonsmooth Approach to Controller Synthesis for Boolean Specifications