pastek_core called as external command
removed html file (produced with ocaml_core)
not needed anymore since pastek now take directly pastek file as source