Champ : a Cherednik algebra Magma package