* Migrate CI to Github Actions Replaces current Travis setup. Benefits include: - Faster - Multiple families can now be included in a single PR - PRs can come from forked repos Fixes #2463 * Restore travis file temporarily