script/autobuild.py: add --enable-coverage option