Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications