Travis configuration

Travis uses a old version of Ubuntu and thus setting a proper compilation environment on it is not trivial. This PR will implement the Travis configuration script.