[iMansanet] New minutesToStuck property on tools description to include the minutes the tool will be considered stucked by the PE

Added abbreviated output for GET endpoints returning projects (in this mode only name and members are returned).

Added CLI get_users for convenience.

Disabled debug logs in PKM configuration file: this should speed up PKM server.

Fixed type of TESTAR State Model artefacts.

Updated "Open source PKM server-side software" and "Open source client-side software".

Fixed typo GET /invocations/dbName for 'invocationStatus' query parameter enums ('RUNING' instead of 'RUNNING').

Updated documentation of "Open source PKM server-side software" and fixed some descriptions in schemas.

Renabled C++ source code AST schema which was unfortunately disabled.

Changed the way the PKM access key is passed to /io/{dbName}/{filename} operations (in the query instead of the HTTP header), so that third party tools can more easily download files as most probably do not support specific HTTP header.

Updated to OpenAPI generator version 5.3.0.

Added support for the Process Engine to Frama-C for PKM, Frama-Clang for PKM, ASFM for PKM (doc_to_asfm, asfm_to_doc, code_to_asfm), and UNISIM Excavator for PKM.
Changed the way PKM access keys are generated to enable duplicating PKM user's session.
Added /user/dup in the PKM REST API to enable duplicating the user's session.

Added a docker volume for the server configuration files.

Added an error method to the logger and adapted writers accordingly.

Made PUT operations for Logs, Traceability Matrix, and Annotations returns the list of artefact identifiers (same as POST operation).
Made code refactoring mostly in insert_update_documents and get_documents.

Cleaned up PKM OpenAPI specification file.
Added references to PKM external schemas into PKM OpenAPI specification file.

Updated Node.js MongoDB driver to 3.7.2 to fix circular dependency with MongoError that Node.js reports.
Improved dependency checks in openapi_gen scripts.
Fixed PKM annotation schema to work around a bug in the SDK for the clients that OpenAPI generator generates.

Made (path,access) the key for PKM annotations instead of path only.
Updated implementation of PUT for PKM annotation with a merging mechanism, which merges new annotations with existing annotations.
Updated implementation of POST for PKM annotations.

Added a schema for C++ source code ASTs.
Improved handling of splitted/merged C++ source code ASTs document (in Frama-Clang and PKM) and make them compatible with the schema for C++ source code ASTs.
Updated documentation of PKM server accordingly.

Changed the pkm-openapi description to solve a reference error to the invocations and tools schemas