Merge pull request #1117 from emmanuel-keller/master

Implements #1114
Merge pull request #1121 from emmanuel-keller/master

Fixes #1118
Merge pull request #1125 from emmanuel-keller/master

Implement #1122
Merge pull request #1129 from emmanuel-keller/master

Update dependencies
Merge pull request #1138 from emmanuel-keller/master

Improvement
Merge pull request #1142 from emmanuel-keller/master

Implements #1139
Merge pull request #1147 from emmanuel-keller/master

Bug fix and improvement
Work on mailbox link of the tools widget in the renderer