Change copyright to 2009-2013, see #3053

* Also added some missing headers