Making a first tag in git finally. Following all the tags previously made in SVN, in: https://sourceforge.net/p/at-cda/code/HEAD/tree/tags/