Update Installation.md

1 job for develop in 8 minutes and 22 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Test
passed dune:git--gcc #5029

00:08:22