Refactored PETSc sparse matrix and vector classes so that the DoF counting is (optionally) done during run time. This is relevant for operators and functions for which the sizes are not known at compile time.