Boundary condition extensions to the FEniCS software