core.zerynth.ide r1.0.1

Some fixes for Zerynth Studio:

- board management tool is now more tidy and ready to handle many supported boards
- fixed some credentials problems for library publishing
- fixed saving of ide settings

This package will also update all the boards and the Arduino Due VM (SERIAL3 was bugged)