script/autobuild.py: add ENABLE_COVERAGE placeholder in configure cmd option