Updated GPLv3 headers to include 2013