Add a basic Dockerfile and fix some minor issues in push.pl