Bump version 2012.1 -> 2013.1

Replace 2012.1 with 2013.1, but do not touch autogenerated files conf.py and do not change copyright years.