Force apt-get to update

php5-cli is apparently missing, probably due to a stale index

Author: Michael Klishin

bin/travisci/before_install.sh

@@ -1,5 +1,7 @@
 #!/bin/sh
 
+sudo apt-get update
+
 sudo apt-get install -y mercurial make xsltproc zip unzip ant ed curl
 
 # Mono