A customizable filter for adding HTML5 Video Player support to Moodle