Corrected and improved messages in configure.sh, also removed support for...
Corrected and improved messages in configure.sh, also removed support for (decommissioned) superMUC.
Corrected and improved messages in configure.sh, also removed support for (decommissioned) superMUC.