notes for Carl on how one might use ansible to replace pushconfig.py in the streaming-system