Saving files in IDE should consider versioning #4
Description
In order to prevent the overwriting of code files, the IDE should check the version of a document before saving it. If the version being submitted is older than the version in the index, the save should not succeed.