Figure `Navigator` interface

[lucacasonato]

It does not make sense to ask runtimes to implement the HTML Navigator interface, because we do not support most of the things on it. As such we probably need to define our own WEBIDL interface.