Python implementation of DJB's redo build tool
