partitioning code cleanup
- make partition tags within Gmsh consistently "int"s
- use idx_t for all variables exchanged with METIS, so that eventually we can define IDXTYPEWIDTH according to the size of std::size_t
- make partitioner interface independent of METIS types and hashmaps
This should go a long way toward fixing #616 (closed)