add goodbye event to server model, regenerate code.
reintroduce test for goodbye/goodbye-ok.
Merge pull request #37 from mknoszlig/master

Problem: goodbye event is not considered in server model