Add lint github action

[benjeffery]

Note that we don't know if this works yet, as I think actions aren't implemented for this repo.