pattern-matching

The stumpy.snippets feature is now completed in #283 which follows this work:

• The original published paper
• The supporting website with data examples

We have a rough notebook t

Tests for following standard libraries seem to be missing. Although some libraries might be difficult to test (such as random.egi or io.egi), it'd be nice to have some tests that make sure all the functions in these libraries can be (at least) executed without dynamic errors.

• lib/core/io.egi
• lib/core/random.egi
• lib/core/shell.egi
• lib/core/sort.egi
• Every

julia> @acrule(-1 - ~x => "match")(-1 - x)

julia> @rule(-1 - ~x => "match")(-1 - x)

ref https://julialang.zulipchat.com/#narrow/stream/274208-helpdesk-(published)/topic/Symbolics.2Ejl.20derivative.20cot(x)

Make docker image available with JIB:

• https://github.com/GoogleContainerTools/jib
• https://github.com/GoogleContainerTools/jib/tree/master/jib-maven-plugin

The docker image should be updated automatically on each master commit. Therefore we need a GitHub Action "Java with Maven".
These 3 applications should be available:

• [MMA-browser-usage](https://github.com/axkr/symja_android_libr