[web] Rename NavInfo to WebNavInfo

Summary:
Same as previous diff, but for NavInfo

Depends on D10889

Test Plan: Straightforward refactor, used IDE Refactor -> Rename tool

Reviewers: ashoat, ginsu, tomek

Reviewed By: ginsu

Differential Revision: https://phab.comm.dev/D10890