Adding a new Control file centralizing the control options of Coq.