added servant_proxy constructor for a servant returned from a scheduler's servant.