Revision 5272

backport (glarose): Update ProblemSet editing to take out editing of set
headers for gateway tests; this is a bit of a hack to deal with the
problem that editing/trying the set header fails for a gateway test.  In
that the set header file isn't used for gateway tests I think this is
probably reasonable behavior.