Add built-in to strip/trim strings

There should be a built-in function to remove whitespace from strings, similar to strip in Python or trim in PHP. This should not be difficult to realise following the established pattern for string functions. It can be debated if more features are needed (like specifying what to strip), but the base function should be useful already.