Boundary condition docs

Documentation of the maths and implementation of strong boundary conditions in Firedrake.