Configure CI to run tests automatically on each push

Since @bassosimone wrote nice tests, we should run them on each push using pytest.