add-dependency

Add a dependency to a Lean project's lakefile. Use when adding requires, dependencies, or imports to a project.