coverage.sh: add more configuration variables for better flexibility