Add specs for the SaveToDisk method of DeixtoAgentPresenter.