Initial port from code.google.com

Plus header changes required by Google’s open source office.