split.h: utility function to split a string.