feat(01_Dependent_Type_Theory.org): rename title and chapter name
feat(README.md): add required packages