Update copyright year to 2013 in docs