Renamed Controller to Presenter (e.g. BasicCoqEditController -> BasicCoqEditPresenter)