Version 0.7.2

• Enhanced support for Docker containers:
  Now the current user id is added on the Docker command line
  and /tmp folder in the container is mounted on a temporary path in the host disk