Addresses one point of #1615.
- Switched hardcoded interrupts to new IDF interrupt allocation framework. - gpio module switched to the IDF's per-pin interrupt callback service. - Improved NodeMCU linker script since it broke with the IDF upgrade. - Various compatibility updates.
As discussed in #1615.
Note need to use explicit wifi.start() at this point.