Fix the VDBE_PROFILE logic.  Add a script to process the output file.