2013-01-31-13.20.34: src/glu/*:  Renamed library-glue.plan -> construction.plan for clarity, because I want to introduce a separate integration.plan file.