OK, now we run 'routing' for the nox configurations with loops.

Unfortunately, I can't test this at the moment since nox seems not to
be able to find the routing module.

Added/renamed examples: grid.py, tree1024.py

Added -v flag to nox arguments, so we have some chance of figuring
out why nox is dying, as it generally is.

cleanup

@@ -26,6 +26,7 @@ rm -f /tmp/vconn* /tmp/vlogs* /tmp/*.out /tmp/*.log
 
 echo "Killing nox"
 killall lt-nox_core
+killall nox_core
 
 echo "Removing old screen sessions"
 screen -ls | egrep -o '[0-9]+\.[hsc][0-9]+' | sed 's/\.[hsc][0-9]*//g' | kill -9