Several changes

travis/dockerfiles/build_docker.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+docker build -t mvolk/storm-basesystem:ubuntu-16.10 -f Dockerfile.ubuntu-16.10 .
+docker push mvolk/storm-basesystem:ubuntu-16.10

travis/install_linux.sh

@@ -1,5 +1,5 @@
 #!/bin/bash -x
 
-set -ev
+set -e
 
 sudo apt-get install -qq -y docker

travis/install_osx.sh

@@ -2,7 +2,7 @@
 # Script installing dependencies
 # Inspired by https://github.com/google/fruit
 
-set -ev
+set -e
 
 # Helper for travis folding
 travis_fold() {

travis/postsubmit-helper.sh

@@ -1,7 +1,7 @@
 #!/bin/bash -x
 # Inspired by https://github.com/google/fruit
 
-set -ev
+set -e
 
 # Helper for travis folding
 travis_fold() {

travis/postsubmit.sh

@@ -1,10 +1,10 @@
 #!/bin/bash -x
 # Inspired by https://github.com/google/fruit
 
-set -ev
+set -e
 
 : ${N_JOBS:=2}
-: ${TIMEOUT:=400}
+: ${TIMEOUT:=2400}
 
 if [ "$STL" != "" ]
 then