PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs