Trivially fetch student’s code from Code Vault into a new module

[OlliKiljunen]

Not trivial: Copy onto skeleton module? Is this viable in practice?

[stellatsv]

Too much uncertainty when it comes to the contents of the file (multiple files in one, comments, etc.). One possibility is if the plugin makes the CodeVault submission, then the format is known to the plugin.

[OlliKiljunen]

It seems unnecessarily difficult to merge arbitrary code vault submissions with the base code.

One possibility is if the plugin makes the CodeVault submission, then the format is known to the plugin.

This could be the way to go. Or, at least, it could work as long as code vault submission only had complete files.