Define standard header for examples.

[bilderbuchi]

Agree on a common format for a header in the contributed example files.

[bilderbuchi]

And by this I meant a "comment header", probably listing example author, etc.