Bump runtime to staging-2013-12-03
Bump runtime to staging-2013-12-13
Bump runtime to staging-12-16
Bump runtime to production-2013-12-18

This contains nothing from the more recent runtime updates deployed to staging; it consists of the production-2013-07-17 release updated to include the superscript/subscript fix
Merge branch 'staging' into production