Marvin Miller changed baseball. The labor leader is finally enshrined among its greats.