Merge branch 'develop-CRANsubm' into 'master'

Bumped version number 3.1.0

See merge request !72
1 job for master
in 12 minutes and 27 seconds, using 0 compute credits, and was queued for 3 seconds