Update links to SPJ’s papers

It seems that Simon’s homepage got restructured, and a lot of links in the documentation and the code comments are not valid any more.

At least these need to be looked at:

$ git grep 'people/simonpj'
compiler/types/FamInstEnv.hs:http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/axioms-extended.pdf
compiler/types/Unify.hs:[1]: http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/axioms-extended.pdf
docs/core-spec/core-spec.mng:phantom equality includes all types. See \url{http://ghc.haskell.org/trac/ghc/wiki/Roles} and \url{http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf}
docs/users_guide/glasgow_exts.rst:paper <http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/>`__.
docs/users_guide/glasgow_exts.rst:cloud <http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf>`__,
docs/users_guide/using-optimisation.rst:    multiprocessor <http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/>`__.
docs/users_guide/using-optimisation.rst:    (ICFP'96) <http://research.microsoft.com/en-us/um/people/simonpj/papers/float.ps.gz>`__.
docs/users_guide/using-optimisation.rst:    (ICFP'96) <http://research.microsoft.com/en-us/um/people/simonpj/papers/float.ps.gz>`__.
docs/users_guide/using-optimisation.rst:    programs <http://research.microsoft.com/en-us/um/people/simonpj/papers/spec-constr/index.htm>`__.
docs/users_guide/using-optimisation.rst:    thesis <http://research.microsoft.com/en-us/um/people/simonpj/papers/santos-thesis.ps.gz>`__
docs/users_guide/using-optimisation.rst:    analyser <http://research.microsoft.com/en-us/um/people/simonpj/papers/simple-strictnes-analyser.ps.gz>`__,
libraries/base/GHC/Arr.hs:--   http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf
libraries/base/GHC/Base.hs:--   http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf
testsuite/tests/dependent/should_compile/all.T:# http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-dynamic/
$ git grep '~simonpj'
compiler/coreSyn/CoreSyn.hs:-- GHC uses System FC <http://research.microsoft.com/~simonpj/papers/ext-f/> for this purpose,
docs/users_guide/bugs.rst:   inliner <http://research.microsoft.com/~simonpj/Papers/inlining/>`__.
docs/users_guide/glasgow_exts.rst:   Languages <http://research.microsoft.com/~simonpj/Papers/slpj-book-1987/>`__.
docs/users_guide/glasgow_exts.rst:"group by" <http://research.microsoft.com/~simonpj/papers/list-comp>`__,
docs/users_guide/glasgow_exts.rst:space <http://research.microsoft.com/~simonpj/Papers/type-class-design-space/>`__
docs/users_guide/glasgow_exts.rst:papers <http://research.microsoft.com/~simonpj/papers/constraints/index.htm>`__
docs/users_guide/glasgow_exts.rst:Haskell <http://research.microsoft.com/~simonpj/papers/meta-haskell/>`__"
docs/users_guide/glasgow_exts.rst:2 <http://research.microsoft.com/~simonpj/papers/meta-haskell/notes2.ps>`__.
libraries/base/Control/Concurrent/MVar.hs:-- <http://research.microsoft.com/~simonpj/papers/concurrent-haskell.ps.gz "Concurrent Haskell">
libraries/base/GHC/Conc/Sync.hs:(<http://research.microsoft.com/~simonpj/Papers/asynch-exns.htm>).

Trac metadata

Trac field	Value
Version	8.1
Type	Task
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Documentation
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture