Travis file to do CI