script/autobuild.py: add --branch option