Added CI testing flag (--travis)