WebSharper bindings to the JQuery UI library