build_release.py: add option to build only with the official toolchain