add progress.sh and gcov files; trivial changes for deb-packages.org