adds Travis-CI config