Added travis CI file
Using forall