Fix missing case in Idris.Primitives.p_strLen

Forgot the line `p_strLen _ = Nothing`. :)