Merge pull request #512 from eclipse/tnguyen/update-deploy-docker-image

Update dev deploy docker image (theia IDE)

To monitor nightly deploy CI.
1 job for master in 55 minutes and 36 seconds (queued for 9 seconds)
latest