Track TheMuppets proprietary binaries

Change-Id: I3c0b402abc51d3e95959d7b0b0582cfb489c4e2e