Remove/trim leading and trailing whitespace from a string

"a" = String.strip("    a     ")

Documentation: String.strip/1