Add version number to about

[hammer-is]

I suggest that you add version number to the about dialog. I think it will be helpful when people are reporting bugs or discussing features here on github.