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