Revert "Revert "Temporary disable docker build for travis-ci.""
Revert "Revert "Temporary disable docker build for travis-ci.""

This reverts commit 38d5e829e73c6a32d3fdda8d9e87bc7b9e89438c.

benvanwerkhoven/Xenon,benvanwerkhoven/Xenon,NLeSC/Xenon,NLeSC/Xenon