command line scripts to run build tools in docker containers
command line scripts to do useful things in docker