crlibm: new formula

@xu-cheng Might be accepted in homebrew-science then.