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