Use docker for builds on travis

[sbellem]

To help preventing situations where everything works fine in the docker-based development environment but things fail on Travis CI.

• The same Dockerfile as the one used for development can be used, except that it can be parametrized for the pip install phase.
• A compose file can be added for travis only.