fix(tests/interval): use new lean_assert and lean_assert_eq
fix(tests/util): use lean_assert_eq
doc(coding_style): rename style.md to coding_style.md
doc(commit_convention): add git commit_convention
doc(commit_convention): add git commit_convention