ADER discontinuous Galerkin schemes for general-relativistic ideal magnetohydrodynamics