Build script improvements: inished implementing "benchmark"; split "help" into "help" and "options"; misc cleanup
Authored by: dlsmith 2007-03-02
Parent: [r4202]
Child: [r4204]
