spatial pedagogy terminal commands to build the executable pio run to upload it in the esp32 pio run --target upload