As discussed.

goal's card color status.

Fix the algorithm to retrieve linked goals to stick with the one of
minimal step id in the current runtime.

... to the card W/ corresponding goal text displayed (elided if needed)
- See https://github.com/LPCIC/elpi/issues/148. This may require to rely
on another identifiers than goal ids.

- stop propagating mouse clicks to parent when toggling subcards
- actually display store after panel for CHR rules

next to the badge (these are step ids in the same runtime).

- Findall subcards
- CHR condition cards

- The sub trace is to be parsed

- Handling of goal ids for navigation
- Rendering of RESUME & SUSPEND step kind

Raised the question of the handling of step kinds with no such id:
- CUT
- RESUME

- CUT kind formatting
- RESUME kind formatting
- SUSPEND kind formatting

NOT recursive so far.

- Added stack
- About to parse sub cards

- divider margins
- conetxt location rendering (to be discussed)

- Brings back rule formatting
- Brings back event formatting
- Brings back sibling formatting

.. feature equivalent, as it used to be so far.

- Kind-wise formatting helper functions
- For some reason, the rule contents have disappeared

- Update the trace type definition
- Update the trace type definition typescript API
- Brings back css from aborted MR#1
- Passes the ATDTS parsed trace data structure to the view
- Fixes navigation issues
- Handles card status color code
- Introduces kind-wise helper functions
- Towards RHD detailed card rendering redesign

- Not used so far, only as a PoC on architecture
- Towards full redesign
- Works as a breeze

so that hyperlinks referencing a position in a buffer update the latter to the correct line and column.

It is currently possible to filter based on the fields of the goal card
preview: goal text, predicate text and rule kind. Note that for obvious
ergonomy considerations, the current filter is clear when:
- a sibling card is jumped to
- a history breadcrumb jump occurs
- the trace is cleared
- a trace is computed for another buffer

Uo to the comparison value heuristic choice (that is fuzzy ration), fuzzy match on card
elements are perfect.

No reflection on UI so far.

Implements backward/forward/jump for consulted goal cards. Also adds a navigation stack that reflects the order in which the goal cards have been displayed. The latter is interactive by clicking on card thumbnails in the breadcrumb. This is to be optionally hidden later on.

Logic will be implemented quicker than the f***ng ux by an order of
magnitude ...