bash.ini option to disable the splash screen.

Closes #99