Remove cumbersome copy of ProblemNavigationContext
Base ProblemNavigationContext in language/ on IProblem again. Can now be used in problem reporter plugin again.