fix run.bat to run.sh on linux, add vertical banner to the installer