Bugfix/#18 api outage

Related Tickets

Closes

Closes #18 (closed)

Summary

The main problem has been solved in the Docker containers. It stemmed from a faulty parameter type in the function tapi:redeploy. This type has been removed.

To make the API more robust, this function has been outsourced to a separate module, deploy.xqm.

In order to be noticed if the API broke at some point after the deployment, a new stage has been introduced to the CI to check the HTTP status of the API.

Changelog

• I added a statement to the CHANGELOG.

/cc Mathias Göbel, Frank Schneider, Michelle Weidling