Test repeated version names

Add a test in test_versioning where we create a new version, delete it, and then try to create a version with the same name. version_add() should check that we cannot add a new version with the same name as a previous version.