All headers should have a pragma once directive.

If a header is used in only one or two places it's easy to forget it.
Would be nice to have a check for this.

https://github.com/10gen/mongo/blob/master/src/mongo/db/startup_warnings_mongod.h