Rename pinhole to pipe (class names, etc.)
tree5113b0bc92a78f80120e58d113d18ff408ef2a38
-rw-r--r-- 6 .gitignore
-rw-r--r-- 110 Makefile
-rw-r--r-- 210 TESTING
drwxr-xr-x - bwmon
-rw-r--r-- 307 runaggregator.py
-rw-r--r-- 942 runmonitor.py