char *format_ip(uip_ipaddr_t *ip);