Fixing issue with opening file names containing spaces as command-line parameters

Specifically:
- using a different separator <S> to separate arguments than to
escape spaces 
 in filenames in the deployed Bash script
- doing arguments splitting BEFORE 's/<S>/ /' substitution
- getting rid of the 'is invoked in terminal' distinction