Added SourceString.skip_whitespace to facilitate easy movement to the next non whitespace character