NewDumpButton(): React.JSX.Element
Renders a "+ New dump" button, as NewPlaylistButton does for playlists,
that opens DumpCreateModal. The modal hands the new dump to
WSContext itself, so the button takes no callback.
Usage
import { NewDumpButton } from "src/components/dump/NewDumpButton.tsx";