Drop lint command

I don't think it's worth keeping this around in the repo. This ought to be a part of your IDE.