Switch numerical world maps to D3 JS library, and upgrade to the optimized coloring algorithm. (The rest of the maps, which use Google Charts/Maps APIs, are broken because of some changes that Google made. Need to switch everything to D3.)