WIMS, serveur d'exercices interactifs