crlibm: new formula

@xu-cheng If there's been no stable release I probably don't want it in there either.