[config.opts] disable warnings
[dune-stuff] updated
[dune-pymor] updated
* will probably not work