Add IDLs for WebNavigation
<rdar://problem/102820594>
Pull request: https://github.com/WebKit/WebKit/pull/7090
Committed 257418@main (442b304a173f): <https://commits.webkit.org/257418@main> Reviewed commits have been landed. Closing PR #7090 and removing active labels.