Strip leading and trailing whitespace from a string

Remove/trim leading and trailing whitespace from a string

"a" = String.trim("   a   ")

Documentation: String.trim/1