crest_instrument.py now recursively instruments all .c files in a given directory