Dockerfile
2017-12-16 Edouard Tisserant docmumentation update
2017-12-06 Edouard Tisserant HGROOT now default to parent of directory containing makefile. Added more instruction in Dockerfile
2017-12-04 Edouard Tisserant Experimental docker based installer build, + update of mingw binaries - builds, untested