模式匹配的KMP算法,使用C的一种基本实现,包含注释。