Remove CGAL (for Dolfin 1.4++)
Remove UFC (for Dolfin 1.4++)
Update to 1.4.  Rename hypre.
Continue polishing