Use version to build EOS using Docker

The eos dev environment is different from one version to another, and sometimes is needed to build a specific version of eos. So it's convenient to modify the script to allow to checkout a different version during the building of the container.