Update INSTALL.ubuntu file. Kick travis!