Update copyright headers

I'm pretty sure all of this is modified in 2013. If not: Sue me (err,
actually, please don't).