Build: use docker queue in travis build to improve speed

Closes gh-7638