python: travis integration