Controller Synthesis for Complementarity Hybrid Dynamical Systems