Merge branch 'develop' of https://git.eclipse.org/r/openk-platform/org.eclipse.openk.service into develop
tree: cb5a3fc34970290169fb464edfce735ab5528154
  1. .gitignore
  2. Jenkinsfile
  3. dev/
  4. doc/