HTMLSelectElement: Fix return type of ``options``

Currently, the i-th element cannot be accessed without resorting to
js.Dynamic.