Docs: Change the name of the License in file headers

Makefile.dev

 #######################################################################################
 # Workflow:
-# C=git commit ;  A=git amend ; U=update_version ; P=opam pack
+# C=make cia ;  A=make amend ; U=make uv ; P=make opam-rel
 # - to make sure the sha and the version are good, one should never
 #   do U and then A.
-# - to make sure gtit is not confused, one should never do A and the P
+# - to make sure git is not confused, one should never do A and then P
 #
-# thereforeto avoid such problems, legal trace are defined by this automata:
+# therefore, to avoid such problems, legal trace are defined by this automata:
 # 0 -C-> 1
 # 1 -A-> 1
 # 1 -P-> 2
@@ -13,6 +13,16 @@
 # 1 -U-> 0
 # to implement such a workflow, C puts a lock (state 1) and U removes it (state 0)
 
+###############################
+# typical workflow:
+#    uv -> cia+ -> amend* -> push ->
+#       wait for gitlab release job -> pull (to get the release tag) 
+# and then; optionnaly, to release an opam version:
+#       opam-rel
+# In case of an opam-rel, it is nice to chech that
+# https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/tools-distrib/pipelines
+# still works
+
 ###############################
 # a few git shortcuts
 
@@ -36,7 +46,7 @@ ci:
    echo "*** I won't commit!\n*** until you 'make update_version'!" \
       || (git commit  -F log && touch committed)
 
-push:
+push: opam-test
 	git push 
 
 merge: merge_work_into_master
@@ -73,7 +83,7 @@ tags:
 
 NAME=lutils
 
-opam :
+opam-rel :
 	./sh/make-opam-pack $(NAME)
 
 opam-test :

src/gnuplotRif.ml

-(* Time-stamp: <modified the 07/12/2017 (at 17:54) by Erwan Jahier> *)
+(* Time-stamp: <modified the 01/02/2019 (at 08:55) by Erwan Jahier> *)
 (*-----------------------------------------------------------------------
-** This file may only be copied under the terms of the GNU Library General
+** This file may only be copied under the terms of the CeCill
 ** Public License
 **-----------------------------------------------------------------------
 **

src/gnuplotRif.mli

 (*-----------------------------------------------------------------------
 ** Copyright (C) - Verimag.
-** This file may only be copied under the terms of the GNU Library General
+** This file may only be copied under the terms of the CeCill
 ** Public License
 **-----------------------------------------------------------------------
 **
-** Author: jahier@imag.fr
+** Author: erwan.jahier@univ-grenoble-alpes.fr
 **
 *)
 

src/gnuplotRifMain.ml

-(* Time-stamp: <modified the 07/12/2017 (at 17:36) by Erwan Jahier> *)
+(* Time-stamp: <modified the 01/02/2019 (at 09:04) by Erwan Jahier> *)
 (*-----------------------------------------------------------------------
-** This file may only be copied under the terms of the GNU Library General
+** This file may only be copied under the terms of the CeCill
 ** Public License
 **-----------------------------------------------------------------------
 **
 ** File: gnuplotrif.ml
-** Author: jahier@imag.fr
+** Author: erwan.jahier@univ-grenoble-alpes.fr
 **
 *)
 

src/luciole.ml

-(* Time-stamp: <modified the 09/07/2018 (at 10:34) by Erwan> *)
+(* Time-stamp: <modified the 01/02/2019 (at 08:55) by Erwan Jahier> *)
 (*-----------------------------------------------------------------------
-** This file may only be copied under the terms of the GNU Library General
+** This file may only be copied under the terms of the CeCill
 ** Public License
 **-----------------------------------------------------------------------
 **

src/rifIO.ml

-(* Time-stamp: <modified the 06/06/2018 (at 16:09) by Erwan Jahier> *)
+(* Time-stamp: <modified the 01/02/2019 (at 08:48) by Erwan Jahier> *)
 (*-----------------------------------------------------------------------
-** This file may only be copied under the terms of the GNU Library General
+** This file may only be copied under the terms of the CeCILL
 ** Public License
 **-----------------------------------------------------------------------
 **

src/rifIO.mli

 (*-----------------------------------------------------------------------
 ** Copyright (C) - Verimag.
-** This file may only be copied under the terms of the GNU Library General
+** This file may only be copied under the terms of the CeCill
 ** Public License
 **-----------------------------------------------------------------------
 **