Merge branch 'release/0.9.0' into 'master'

Release 0.9.0

See merge request !8
15 jobs for master in 11 minutes and 38 seconds (queued for 9 seconds)