ASR: bettern argument names for StringContains

[certik]

Currently the ASDL definition is:

StringContains(expr left, expr right, ttype type, expr? value)

And we should rename left to substr and right to str.