MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution