new GridTools::flatten_triangulation

New GridTools::flatten_triangulation. Gives the ability to copy a flattened version of a Triangulation, with possibly different spacedims.