Working:
- Driver block
- Solving and visualization

Not working:
- Error calculation

We previously used bool() on the constraints expression to find
out whether we need to use the DIrichletConstraintsAssembler.
However, UFL does the stupid thing of evaulating

bool(eq(x[0], 0))

to False, because x[0] and 0 are obvioulsy not the same. Veeeery
bad behaviour for a symbolic language.

Instationary stuff not fixed so far.

- Use TensorProductElement in one example.

- We still use the sumfact option to swicth to the sum factorization
  code branch. This way it is still possible to easily swicth between
  sumfact and non sumfact code.

- Only TensorProductElements with the same degree in all directions
  will work. Anisotropie and adaption of quadrature rule will happen
  in the next commits.

So far, we used a global context to tell the normal visitor,
that it is generating for driver code. This was feasible, as
we only had one differing implementation. With more differences,
it is better style to derive from the visitor and implement
the differences there.

It is badly implemented as is and does not offer value over
writing symbolic functions.

Do not annotate FiniteElements anymore, further split driver code

It is badly implemented as is and does not offer value over
writing symbolic functions.

Do not annotate FiniteElements anymore, further split driver code