New option "--version"

At build time, we use the version number provided by configure.ac, which
is updated upstream when there is a new release.