Switches our CI from Travis-CI to Github Actions. At the same time this also turns on clippy and rustfmt linting.