[algorithms.basisextension] update pod_basis_extension

Conflicts:

	src/pymor/algorithms/basisextension.py
[algorithms.basisextension] add documentation