probably more correct failure table

Useful invariant: the table at index i gives the maximum number l
such that needle[i-l+1 .. i] is a a prefix of the needle.