IDE: display contents of revisions.txt (put there by installer builder script) in About Dialog.

2024-02-27, Edouard Tisserant