Merging in James Page's packaging tweaks for quantal.

Update oftest repo location


Fixes Issue 41: mininet#41

Reported-by: sublinhado on GitHub

RED bug fix in another place