Update server.ml : CHEAT command is now implemented