Dash to Dock - GNOME Shell Extensions
extensions.gnome.org