Add `--version` command line argument

mentioned in merge request !713 (merged)

mentioned in commit 72fc3910

closed with merge request !713 (merged)