Capabilities:

• StaticCondensation class with usable APIs (Static condensation #3883)
• preconditioner wrapper that can be toggled from command line with -pc_type so that user can decide from the command line whether they want global linear solve to be with all dofs or just trace dofs

Tests:

• H1 with weakly enforced BCs (Static condensation #3883)
• HDG
• H1 with strongly enforced BCs