Docker image integration

[The9Cat]

I'm planning to add some combination of EXP-examples, pyEXP-examples, and EXP-tools to the Docker image. This seems like a good place to get general comments on that...

Possible options for EXP-tools in particular are:

1. Provide a copy of the repo in the Docker image so that a user can pip install on the fly inside the running container
2. Preinstall EXP-tools when the Docker image is built (similar to pyEXP itself)
3. Provide an option to the expbox shell script to pip install EXP-tools

That said, I'd be interested to know how many folks use the Docker image. I know know how many Docker pulls have occurred (309) but I have a basic account. Perhaps worth becoming an organization and apply for Docker sponsorship as an open-source project, but I'd like to know that a user base exists for this before going through that.