Revision 1197

cleaned up mike's editor support functionality. it now stores the source
file override and seed override in the $problem object. this eliminates
special logic further down the line. (eventually, i would like to have a
separate frontend to PG for the editor, like Instructor::PGPreview.pm)