Merge pull request #466 from jwj61/develop

Fix gateway quiz bug and rounding

I checked this with a weighted answer problem.  The fix does correct the score reported at the top of the page.  I also checked the outputs and the score was formatted correctly.
Fix display of Gateway scores on the problem sets page
(rounding of to a reasonable number of places to hide floating point
garbage digits)