Switch CI provider away from travis

[simetenn]

With the changes to travis the CI have to be anyway. Instead of moving to the new travis the CI should probably be moved to another provider such as CircleCI or Github actions.