Move official CI to Inria

Created by: stephanemagnenat

As agreed with David Sherman, Inria's CI will be used for Aseba in the future. To complete the move, we must do these actions:

• Replace ad hoc packager scripts with cpack,
• Write a master Jenkinsfile to automate build, test, package pipelines (see PR #581, aseba-community/dashel#20, and enki-community/enki#26),
• Configure Jenkins to also automatically compile pull requests.

Work is under way, this issue aims at tracking overall progress.