Lean Pool exposition

Interactive dependency graphs and a declaration index for every project in the pool — API docs hold the full signatures.