EXTERN: ecos: Place fetched files under separate dir; quit on error

Two important modifications to the shell script:
1. quit upon error, including missing tools
2. uses `/bin/sh` unless invoked by passing to a shell program.