add Travis (from SergeStinckwich PR)