Fixes constraint explorer showing empty window. Fixes aliceml/aliceml#1.

The problem was introduced with commit b143fda5 when replacing
Exn.catch with Exn.currentPacket. The processing of the head of
the servers message list was accidentally removed.