塞内加尔内战结束