Make string pattern matching resumable

[mjanicek]

When used on very large strings, the standard library functions string.find, string.gmatch, string.gsub and string.match may take a very long time to execute. In order to support execution time limiting, these functions should periodically check with the scheduler whether they should be paused.

This requires adjusting the pattern matching code to make it resumable.