Changed style of OS graph

The OS graph now used passive structs for graph nodes. The privileges
are bidirectionally linked. The forward privileges of services are
sectioned by destination service for fast lookup and removal.

I added a query interface to the OS. It has exposed a bug that has
no yet been found. I suggest creating a printAll() function for
debugging the issue.