Place for random Python utilities that we may or may not want to include
as part of the official DOLFIN Python interface.
