REDTEST#20: Change build number and version format shown in welcome page. Fixes #20.