Add errexit bash option to setup scripts (#323)

For easier debugging. Otherwise they just keep executing after a failed command.

ci-scripts/setup-msat.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps

contrib/setup-bison.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps

contrib/setup-btor2tools.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 BTOR2TOOLS_VERSION=9831f9909fb283752a3d6d60d43613173bd8af42
 
@@ -29,4 +30,3 @@ else
     echo "Please see their github page for installation instructions: https://github.com/Boolector/btor2tools.git"
     exit 1
 fi
-

contrib/setup-coreir.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 COREIR_VERSION=2f5035c6712481346c20c0a9956dc3f880cac1d2
 
@@ -76,4 +77,3 @@ else
     echo "Please see their github page for installation instructions:https://github.com/rdaly525/coreir"
     exit 1
 fi
-

contrib/setup-flex.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps

contrib/setup-ic3ia.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps

contrib/setup-smt-switch.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps