Adding travis CI definition