sudo docker build . -t h4ckermike/lang_agent_streamlit_with_data:meta-coq-utils-data-1-2024-02-12