add version info in preferences

* fix issue #713