new Dokeos extension course_messages for Dokeos 1.8.x