configinfo.py

A class to keep track of which systems are modified during configure().