Added a new Dockerfile (Dockerfile.armhf) specific for ARM 32 bit.
The Dockerfile was updated compare to default one:
- Base image is armhf/debian instead of debian
- Docker binary is downloaded with the correct arch (although it does not
seems to be used)
Signed-off-by: Jean-Christophe Berthon <huygens@berthon.eu>