How to assign multiple IP addresses to a single interface in Linux. Useful occasionally.