build.sh: save git URL and revision used for the build.