feat(build): cread .d (dependency) files for .lean files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/standard/list.lean): begin to port lists from lean 0.1
feat(library/standard/congruence.lean): add class to infer that a function is a congruence with respect to two relations
feat(library/standard/congruence.lean): finish congruence classes for propositional logic
index on master: 9dc1baa feat(library/standard/congruence.lean): finish congruence classes for propositional logic
feat(library/standard/list.lean): add facts about lists
refactor(library/standard): clean up logic, reorder arguments to elim rules
refactor(library/standard): begin reorganization into hierarchy
refactor(library/standard): organize files into a hierarchy
fix(library/standard/data/list/basic): remove 'sorry'

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(tests/lean): adjust tests to new library structure

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>