Update Travis to install Mirage2 prerequisites and build Mirage2