* h_program-lang/datalog_code.mli: simpler interface, return generated filename