Nix projectId, put ProjectStore ref in Def/Ref.

This eliminates the need to assign unique ids to projects. Win. This also
allows us to eliminate DefInfo. A Def can just ask its store for its source,
sig or doc when needed. More win.