Add example-stringifier.py file

This shows one possible use of the custom stringifier functionality.
The example function computes str(), unless it takes longer than one
second to compute (it uses signal.alarm() to determine this), in which
case it falls back to type.