¿Qué es un editor de código y cuál es su función?