Latest changes to cyberismo tool weeks 25-26

[Fuzzbender]

The following changes have been done.

Demo is here: https://demo.cyberismo.com/

New features

INTDEV-858 Show Clingo syntax errors in place of the report macro
INTDEV-876 Support any git default branch in module import
INTDEV-877 Adjust "import module" to support git-ssh URIs
INTDEV-880 Include originating context to errors from macros
INTDEV-897 Remove transient dependencies when removing imported module

Internal changes

INTDEV-320 Validate module after importing it
INTDEV-871 Remove Antora

Bugs fixed

INTDEV-845 Card type changes are not processed in the App until it restarts
INTDEV-875 Misleading error if 'cardsConfig.json' is invalid JSON
INTDEV-895 Link description cannot handle "&"
INTDEV-907 Use workaround for GitHub pages in export
INTDEV-919 Improve created '.gitignore' for projects
INTDEV-929 Publish broken at least on linux
INTDEV-930 'cyberismo show module' shows all imported
resources
INTDEV-934 show commands can show random files as resources