doc: bump copyright year to 2013.