Implemented issue #11: Automatically create Git tags for releases, add
option ``--version``