Set dev docker shell
This sets SHELL in the dev Dockerfile so that images based on it can directly invoke make and similar in their Dockerfile.
This sets SHELL in the dev Dockerfile so that images based on it can directly invoke make and similar in their Dockerfile.