.bashrc: (Much) faster way to get IP address