* Docker build from local sources rather than Github cloned sources

* Update INSTALL instructions for docker build from Github repo

* Back to generic makefile.inc.Linux and use of env var in Dockerfile

* Back to generic makefile.inc.Linux and use of env var in Dockerfile