Docker setup: Add instructions to INSTALL

1 job for docker-setup in 2 minutes and 16 seconds (queued for 5 seconds)
latest
Status Name Job ID Coverage
  Test
passed test #25666

00:02:16