Bugfix release

Arduino CI is enabled on Github, each PR and commit to master branch is checked (examples built for several platforms and an unit test suite ran).

Some minor bugs fixed (discovered with the unit tests).