dev tools terminal extension