Delete more parts of the old ufl manual

[Martin Sandve Alnæs]

I've merged the work Chris did on updating the ufl manual and done some minor updates of factual errors on the user interface side.

Large parts of the technical descriptions are outdated though, and are probably better documented as autogenerated references to docstrings.