HTML5 Gamepad API bindings for js_of_ocaml