Add model classes for representing semaphore information.
Extend DebuggerInterface for semaphore information retrieval.
Fix x86-64 build.
Dump semaphore information in reports.

Implements final part of #9510.