Introduce proper abstraction for dvi / source navigation

[ktraunmueller]

Currently, the code that links the caret position in the DVI with the corresponding location in the source code is ad-hoc and brittle. For example, navigation currently does not correctly skip over the invisible {}'s in \S{}

Introduce some abstraction and corresponding model type(s) that put this core functionality on a sounder footing.