proof-sh python web .dockerignore .gitignore Dockerfile LICENSE MANUAL_INSTRUCTIONS.md README.md install.sh