Allow pin counts per port of >31 on Linux-based systems
Merge branch 'master' of https://github.com/CWBudde/Espruino
pin number tweaks