add random port assignment for different docker containers, for multiple users
Remove copying of datatsets from Galaxy to docker. From now on, docker can fetch data from galaxy on demand.
Style fixes
Merge branch 'master' of https://github.com/bgruening/galaxy-ipython