Observation of CP violation in B0 ---> eta-prime K0 decays