Update copyrights for 2013

Fully update git head, and update back branches in ./COPYRIGHT and
legal.sgml files.