this commit adds support for Gitpod.io, a free automated
dev environment that makes contributing and generally working on GitHub
projects much easier. It allows anyone to start a ready-to-code dev
environment for any branch, issue and pull request with a single click.
Looks like the upstream adruino library [released v3.1.0][v310] two weeks ago.
From [the changeset][changes], this includes Helium patches that add the pinmap
for `Disco_L072cz_Lrwan1`. Unfortunately, that means that when this code compiles,
it now throws duplicate symbol errors. This simply removes the now redundant
definition and fixes the type where needed to match upstream.
[v310]: https://github.com/mcci-catena/arduino-lmic/releases/tag/v3.1.0
[changes]: 3b9b02d..79accbb