Revision 942

Display options are now sticky (they are repeated as hidden options in the main problem body).
Changed name of submit button from redisplay  to "save options"
fixes bug #27 at least to some extent.
these saved options may not persist from one problem to another.  In order to solve that problem
we need a storage place for user options, or else many more hidden inputs to save state as one
moves from one request to another.

this fix will work for now.
-- Mike