Added way to differentiate different testbeds... overlay.emulab.net.gif is used for main emulab overlay.mini.emulab.net.gif is for mini (it makes it apparent you are on mini.) We'll make one for uky, too.