Add Davix tool to the Dockerfile

1 job for master in 1 minute and 9 seconds (queued for 63 minutes and 30 seconds)