Add $BINDIR to allow mounting the whole sources if needed (for development)

Docker-DCO-1.1-Signed-off-by: Guillaume J. Charmes <guillaume@charmes.net> (github: creack)
Merge pull request #4904 from creack/make_dev

Add "BINDDIR" variable to facilitate having a shell with the full source tree bind-mounted