Tweaks Travis CI and adds verify target to Makefile.
diff --git a/.travis.yml b/.travis.yml
index 686ee60..d857b41 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -36,4 +36,4 @@
   - sh .travisCI/travisBuild.sh
 
 script:
-  - bash .travisCI/runPrecheck.sh
+  - travis_wait 40 bash .travisCI/runPrecheck.sh
diff --git a/Makefile b/Makefile
index fc74db5..f64e37e 100644
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,7 @@
 
 .PHONY: verify
 verify:
-	echo "verify"
+	cd cargo; make check-env; make test_top; cd - ;