- Patch 161 by Gordon: adds new form_button() function with a more generic version
  of form_submit() which allows the creation of HTML buttons.