py: In string.count, handle case of zero-length needle.