simplifies implementation of local thread IDs
simplifies Ipc_manager implementations
declares _governor as addr_t and GOV_FREE as 0
normal ipc lib will return 0 for Ipc_manager::my_utcb()
messages only first instead of all waiting thread to take over governship
Makes Thread_counter constructor explicit
Renames inc() function to new_id()