Precise code navigation for Python, and code navigation in pull requests

Code navigation is now available in PRs, and code navigation results for Python are now more precise.