Add missing exit-on-usage to build-with-barvinok.sh