Deprecate SizeInfo class and header

Carsten Gräserrequested to merge
feature/deprecate-sizeinfo into master

This is no longer needed, because you can now directly call vectorBackend.resize(globalBasis) instead of vectorBackend.resize(sizeInfo(globalBasis)).

Merge request reports