Docker setup: Add instructions to INSTALL

1 job for docker-setup in 4 minutes and 9 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Test
passed test #25665

00:04:09