Add WMOPS_DETAIL to allow automatic instrumentation of all functions for detailed complexity measurements

The task is to add WMOPS_DETAIL, an existing feature of the WMC tool used in FLOAT codebase, to the BASOP framework. Since the BASOP framework uses count.[h|c] for complexity measurments and the WMC tool acts only as a wrapper, some modifications are needed to make it work.