[dune-stuff] updated master
[dune-pymor] updated master
[dune-gdt] updated master
[dune-hdd] updated master
[external-libraries]
* updated virtualenv
* removed fasp
* added dune-grid patch
[dune-stuff] updated master
[dune-pymor] updated master
[dune-hdd] updated master
[demos] updated
* should work as soon as pending changes in stuff are done