WVCM: The Workspace Versioning and Configuration Management API