PGProblemEditor: Add option to copy auxiliary files.#2922

somiaj wants to merge 1 commit intoopenwebwork:developopenwebwork/webwork2:developfrom

somiaj:copy-aux-files-optionsomiaj/webwork2:copy-aux-files-optionCopy head branch name to clipboard