A Python and HTTP system for distributing game patches