tools: gen_data.py: generate random data save_docker.sh: save the current docker state