issue #2: added travis CI config