Diverse Controllable Diffusion Policy with Signal Temporal Logic