A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms