- Various improvements to Thread and Timer:
- Remove "mark as static" option as it is unused
- Implemented core pinning for ESP32 platforms
- Use `TickType_t` consistently (instead of `uint32_t`)
- Use `enum class` instead of `enum`
- Fix for `flash.sh` not working when using `pip` to install `esptool`