scripts to build more customized docker images
Build a local archive to avoid random net errors
fix trunk 4.02dev
disable caching
Add unzip to the opam dependencies
fix src depexts
install curl inside the Docker
Rename ubuntu to ubuntu-trusty
typo
fix user ids within the docker container

(USER only creates the user, RUN is still root)
better debug for installext
also fix 4.02 switch
update before installing ubuntu
Merge pull request #1 from avsm/generate

Rewrite docker opam for better bulk building