New lip6

Daniela Geniusrequested to merge
new-lip6 into master

official version of echopen application (modelsward 2020); parts of correct-by-construction generation of GPIO interface

Merge request reports