Added a travis CI configuration