Improved the travis configuration

This switches to the Docker-based infrastructure (and backports PHP versions changes from the master branch