Add front-end code for a push button.

This is a mostly capable button that can choose different branches to push to
and use the tentative API to test whether or not a change will apply cleanly.