Use GitHub Actions CI (#154)