copy in ssh socket from host (check on perception of security implications)
fix --display_name
Merge branch 'master' of github.com:dougbo/gcdev
add --platform to allow fiddling around with other docker containers
add androiddev-dl for non-dl experimentation.
(need to push a dockerfile so that the whole mess gets cached.)
add androidtools-dl/src; make the start file distinct from androidtools/src
so they don't clobber one another