bash library: minor fix/enhancement to the exit quitScript() function
Bash scripts: centralized all 'library' functions in a single file