Minor improvements. (IMPORTANT: Reload required)

[richard]

Another smaller update has just been made. Ratings are now stored as floating point numbers. This prevents the annoying behaviour where ratings changes between 0 and 0.5 were rounded to 0. The other change is that the correct/failed reporting for the just completed problem is now kept around until replaced by the next problem's result.

Please reload browser window to update to new version.