The Future of IDEs: From Text Editors to Agent Workbenches