Remove compiled setup scripts from Git, use CI instead

[mks-h]

Having both the source Amber files and the generated Bash files checked out in Git leads to inconsistency. For example see PR #457, which updates generated Bash files, as they were outdated.

Instead, lets set up a CI pipeline which will publish the generated Bash scripts at each release, and reference them in the installation instructions.