Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor