Added utility Python function for spliting a string into an array of
strings