A compact superconducting cyclotron for the production of high intensity protons