Add the publication date to the top of the document

Putting "December 12, 2013" at the top of the document to distinguish it from the first version and future versions, and using the date when we plan to first publicize.