Signal Temporal Logic Compliant Co-design of Planning and Control