Nine thousand people already work at the Navy Yard. This fall, the Wegman's grocery chain will open its first city location in the yard, and WeWork is building a major hub at the Navy Yard.