Add sequence ID and widget for it.

The idea of a sequence number/ID is to tie together all messages
associated with a given timed activity, to make performance
analysis easier.

_context.py: Add sequence number with atomic increment
_widget.py: SequenceID widget, which displays this value
_message.py: sequence_id variable storing the sequence for a message.