Nulling resources pointers in the editor_controller's destructor.
At least fixing some of the segfaults mentioned in bug #20409.

git-svn-id: http://svn.gna.org/svn/wesnoth/trunk@56035 75b3775d-3801-0410-9e12-e2e43121521d