support --with-metis-cppflags="...", defaulting to what we know works
remove deprecated --with-Metis options
update dervied files for two previous changes