e61bb07373
Added: string.split (usage: string.split("1-2-3", "-") => { 1, 2, 3 })
Added: table.join (alias of table.concat, for convenience)
Added: table.push (multiple element insert. usage: table.push(t, 1, 2, ...). Used extensively in optics)