Changes since previous release include the following:
- 3d2de68 Fixes documentation
- 447650c Allows controlling ontotrace behavior if names fail to resolve
- 4f0c355 Adapts obtaining term labels to recent change in KB API
- 466773a Switch to POST also for JSON-returning queries when query is long
