add SPLITP computation to cakeml_computeLib

Required for lexing long names. This should be in (rich_)list's compset,
ideally.