Remove solver from static condensation classes #4
Description
Static condensation classes should provide facilities for assembly of local and global operators and vectors, in addition to utility methods for back substitution. This should be independent of solution methods, which the user will implement themselves via PETSc SNES/KSP etc.