add eliom file with eliom-destillery