CosTime_TimeService(3erl) on Linux

The text df54e4d48e58, as Debian 8 (Jessie) shipped it.

This module implements the OMG CosTime::TimeService interface.

CosTime_TimeService(3erl) on Linux now