How Halo modders overcame a DMCA—and perhaps changed the series’ PC future