gnome-shell-extension-dash-show

It's a very simple extension that simply moves the dash from the overview layer to the background layer, and moves the dash back from the background layer to the overview layer when the overview is opened.