ENH: Refactor and expand LinearOperator API

In light of recent problems with the `scipy.sparse.linalg.LinearOperator` API (#4073, #4074), I decided to clean up the code and expand it. Highlights of this PR:

* cleaner separation of API and implementation
* documentation on how to subclass `LinearOperator`
* added an `adjoint` method, with short-hand notation `A.H` borrowed from [PyOperators](https://pchanial.github.io/pyoperators/documentation/)
* some more unit tests
* mostly backwards compatible, except for existing subclasses (but I'm not sure if subclassing was ever advertised?)

The main low-light is that it takes some trickery to pull off the backward compat (`__new__`), but not too much.

Still to-do:

* <del>make `adjoint` work whenever `rmatvec` is defined and vice-versa (this can get tricky...)</del>
* <del>make `[r]matvec` default to `[r]matmat` if that is defined</del>
* <del>prune away duplicate code in `scipy.sparse.linalg.matfuncs` and elsewhere.</del>
* Merge in new SVD code.
Maybe:
```
self.shape = shape
self.dtype = dtype
if dtype is None:
    dtype = np.asarray(self.__call__(np.zeros(self.shape[-1]))).dtype
```
It's sort of a PITA to do this again in all routines that use LinearOperators, since quite often you need the dtype to know whether you need complex or real arrays...