Add support for testing dune-perftool and update documentation

dune-perftool indirectly depends on libisl and libffi (through some python dependencies), so make sure we can build them.

Also:

• Update list of images in README
• Fix two small bugs in .gitlab-ci.yml