Remove variable ARCHNAME
The UG build system sets the variable ARCHNAME, and the code uses it in apparently only two places. None of these uses is relevant for Dune, so the variable ARCHNAME should be removed completely.
The UG build system sets the variable ARCHNAME, and the code uses it in apparently only two places. None of these uses is relevant for Dune, so the variable ARCHNAME should be removed completely.
