Print spans in external source code

Currently, we don't attempt to print the source code identified by diagnostic message spans if the source code lives outside of the current workspace. We should make a best effort to load these source files and print spans if possible.