* src/grrobot.c (grr_game_read_notices): Exit cleanly: need to

    * src/grrobot.c (grr_game_read_notices): Exit cleanly: need to
        return control to Gtk+ so that gtk_main_quit has a chance to do
        its job.
        (grr_game_read_notices): Track changes in grr_board_view timer
        API.
        (grr_game_key_press_callback): Eliminate bid_entry text box and
        bid button. Instead, a bare number in the message_entry will
        result in a bid.
        (grr_game_key_press_callback): Change several keybindings to
        require a control modifier: C-N=Next turn, C-P=Pass, C-Z=Zap timer
        and C-RGBY for robot selection. Now, no keybindings should
        interfere with simple text messages.
        (grr_game_pass): "Pass" button now issues "abandon" instead of
        "revoke" when not in show mode.
        (grr_game_next): "Next Turn" button now only issues turn never
        "abandon", so there's no longer a problem when two users both hit
        the "Next Turn" button.

        * src/grr_board_view.c (grr_board_view_decrement_timer): Make the
        "Zap timer" feature animate the fast clock rather than just
        snapping.
        (grr_board_view_start_timer):
        (grr_board_view_stop_timer):
        (grr_board_view_set_timer): Cleaner timer API: set, start, and
        stop.