Move counter of running servers to ServerManager

Add comments to Counter and implement Comparable, hashCode, equals and
toString in preparation of a standard API class.