Symbolic Sobolev space objects

The SobolevSpace class supports testing for subsets and inclusion
using the same syntax as native Python sets.

It assumes that FiniteElements will have a sobolev_space attribute
of type SobolevSpace.
Documentation cleanup.
Some fixes in SobolevSpace.
Bugfixes in until now untested symbolic geometry territory.