1. Converting hexadecimal ip addresses to dotted quads with Bash