Bump release number: %s/2012/2013/

It was saying 2012.1.
Merge pull request #591 from alexeymuranov/patch-1

Bump release number
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.
Update copyright year 2012 -> 2013
Merge pull request #592 from alexeymuranov/bump-version

Bump version 2012.1 -> 2013.1
Update testworks submodule.
Bump to current version with updated submodule.
Add <timer> and use it instead of primitives.
Remove primitive-start/stop-timer.
Escape \n in command-line-parser print-synopsis docs.
Add timer-accumulated-time.
Update command-line-parser submodule and docs.
Add a release note about new <command-line-parser> init keywords.
Add documentation + release note for timers.
Merge pull request #595 from cgay/docs

Update command-line-parser submodule and docs.
range->upperbound in random docs.
Bump to current testworks.

This should fix the failures in the release builds on Jenkins.
Add release note for Testworks.
Merge pull request #596 from cgay/relnotes

Add release note for Testworks.
Merge pull request #594 from waywardmonkeys/timer-changes

Timer changes