The design space of AI coding tools