DESC
Add some profiling options.
EDESC
Add some gcc parameters to debugging CFLAGS and clean debug files in the
Makefiles, in order to support better profiling.