خليل ابراهيم (قائد من السودان)