Simplified Travis-CI config