- 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`
- GitHub actions changed to build simulator on macOS (it's broken, but at least we get a good code portability check for now!)
- `Buildscripts/` shell scripts updated to use `/bin/sh` so it works on macOS too
- Various includes fixed in various subprojects so the code is more portable
