Update to use Metis 5.1.0

I do not understand `metis.patch` and `import_metis.sh`, but the tests pass without them. I can delete them as part of this pull if desired.