Three trophy bands, and Trophy Road complete gets its own

The meta tools now split Trophy Road into three: under 10,000, 10,000 to 13,999, and Trophy Road complete (14,000, the cap). The old five bands were finer than the recorded games could fill, and they mixed players still climbing with players who have finished, who play a narrower, settled meta of their own. Contract 8.1.0.