Merge branch 'devel' of...

Merge branch 'devel' of ssh://gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_lib/wolf into devel

.gitlab-ci.yml

@@ -2,8 +2,8 @@
   - mkdir -pv build
   - cd build
   - cmake -DCMAKE_BUILD_TYPE=release -DBUILD_DEMOS=ON -DBUILD_TESTS=ON ..
-  - make -j$(nproc)
-  - ctest -j$(nproc)
+  - make -j$WOLF_N_PROC
+  - ctest -j$WOLF_N_PROC
   # run demos
   - ../bin/hello_wolf
   - ../bin/hello_wolf_autoconf