make js_of_ocaml optional in github