libc_cheri: Added inet_addr, inet_aton, inet_pton