[configs] added
[config.opts] removed clang
[config.opts] use the ones from configs repo for clang
[gitmodules] use non https url for users.dune-project.org
[local.bin] updated, newline is the separator from now on
[dune-pymor] updated
[demos] updated
[external-libraries] updated