SET-PUSH-BUTTON-LABEL
=====================

syntax: (set-push-button-label 
           <babylon-push-button> <label>)

This function creates a label on the push-button.

example: look at example from GET-PUSH-BUTTON-LABEL