Use devel instead of master

[jorisv]

In our past practices, we had two main branches:

• devel: work in progress
• master: stable release (default)

By default, user will clone master, the stable and tested version.

This workflow is no more mandatory:

• Our CI has improved, devel is more stable than before
• Most user doesn't compile from sources and use packages instead (pip, conda, nix, apt, ...)

Given these changes and the fact that several tools assume the default branch to be the work in progress one, we have decided to change the default branch to devel.

This means that when you clone our repository, you will now be working with the ongoing development version by default.