Fix statistics output for Glulx (Mantis 1267)
Merge branch 'davidk'