girocco-config.sh: new utility script