Executing docker pull command only if ${DOCKER} is empty.

Inside docker container,
`docker pull` command always fails.

In order to workaround this behaviour,
set the environment variable ${DOCKER} "TRUE"
when running docker container.

If ${DOCKER} is empty, execute `docker pull` command.

This commit fixes #207.
Merge branch 'id/207' into dev