Testing Docker build again.

Let's see if Jenkins has Docker properly configured now.