unnecessarily explicit copy lint

[nikomatsakis]

We should add a lint mode that detects unnecessary uses of the word copy and warns about them. In my code, at least, I'd prefer to have copy written only where it needs to be---so that I can use it as a guide to where expensive copies are occurring.

[pcwalton]

Closing since we want to remove the word copy.