Request for tags

Would it be possible to occasionally increment the mathicgb version number and push a tag to github?

This would make it easier to create packages downstream, e.g, in Debian.  (See [1].)

Thanks!

[1] https://wiki.debian.org/UpstreamGuide#Source_only_tarball
