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.