[external-libraries] properly set dune-pymor path
[demos] use alugrid
[dune-hdd] update