new GridTools::flatten_triangulation

New GridTools::flatten_triangulation. Gives the ability to copy a flattened version of a Triangulation, with possibly different spacedims.
This is going to trip up the indentation script -- braces should be on the next line.