build-infer.sh now works with non-traditional shells

Summary:
fixes #267.

By calling opam with the --shell=bash in the script I don't get the errors I had before.

The new line I added in the docker/README.md was so the list would display correctly when rendered.
Closes https://github.com/facebook/infer/pull/272

Reviewed By: jberdine

Differential Revision: D2916859

Pulled By: jvillard

fb-gh-sync-id: 4243f79
shipit-source-id: 4243f79

build-infer.sh

@@ -105,7 +105,7 @@ check_installed opam
 opam init --no-setup --yes > /dev/null || \
   opam init --no-setup --yes --comp=4.02.3
 
-eval $(opam config env)
+eval $(SHELL=bash opam config env)
 
 echo "preparing build... "
 if [ ! -f .release ]; then

docker/README.md

@@ -19,6 +19,7 @@ installation. See the instructions for
 This docker file will use the latest
 [released](https://github.com/facebook/infer/releases) version of
 Infer. 
+
 1. Get docker running, e.g. using Docker Quickstart Terminal.
 2. cd to the directory `docker/`,
 3. Build Infer in docker container and try on an example: