GitLab

This requires to reorder elements in the HTML.
Thus they are now in a 'natural' order (ie. in the same order
as displayed). We use flex to make them appear contiguously the
ones after the other. Thus we don't need anymore float: right
apart from the #menu_right_part that was added.

Fix #3805

Update CLI11

See merge request !445

Update tutorial

See merge request !447

Better than what was done in 5359314cb.

Same spirit than 7130f076 and 87b23f58 on updated upstream.
We should discuss and/or make a pull request to upstream, see #3854.

Better logs

See merge request !444

The parameter can be a dictionary when the dictionary has a success and message key.

We can have a debug output but being in this function is not an error.
Moreover we can't pass a dictionary to the log.

Put pointer cursor on icons

Closes #3808

See merge request !441

Fix #3808

js/export.js: report, bikeshed some fields

See merge request !440

Get reads (simple UI)

Closes #1469 and #3733

See merge request !439

Prevent double clicking.

The code is now accessible from elsewhere and can
be used to retrieve an event far away on the stack.