Dockerfile: Use 'michel' tree and branch

2 jobs for Docker0.3 in 5 minutes and 8 seconds (queued for 2 seconds)
latest