GUI: added command line option --full-version