Small speedup of `prepare_instrumentation.sh` script
Certain libraries, such as lib_rend/
and lib_lc3plus/
, are re-instrumented by the WMC tool during the prepare_instrumentation.sh
script execution. The de-instrumentation step takes more time than re-writing the .c
files and instrumenting them from scratch.