Remove travis

As travis is no longer working as robustly as it should be, remove
it in favor of github actions.

Author: ojarva