Provide an API for comparing method symbols

The SearchPresentationCompiler can now compare two symbols and
check if they describe the same method.

This works even for symbols that have been obtained from seperate
presentation compilers; we use Importers to take care of that.

fixes #1001683