Adjust travis.ci config (Python3 config needed)