fixed dependency on external (otawa) headers
minimal fix for the plugin lookup issue

The C++ namespace still does not reflect this, it goes:
  tcrest::patmos::patmos_wcet
seems to work though.
patmos osx with dcache enabled