pullable_stream_builder

PullableStreamBuilder widget plus some utility functions to help builder pull-based stream widgets.