Use the github cli to publish dev releases

This removes a whole bunch of complicated javascript with two lines of
bash.

Fixes #1562

Author: bjorn3