Feature #3789 let the minimum editor size be configurable.

This is my first attempt to contribute to TinyMCE, so if I have screwed up, please be nice to me and help me fix up my submission. Thanks.

I am pretty sure that this fix is not 100% right, since it refers to a configuration options belonging to one of the plugins (theme_advanced_resizing_min_height) in the core editor code.

So, the pull request is the minimal change required to make things work, but I don't be surprised if you reject it and tell me to go away and do something different. It is just that I don't know enough about TinyMCE to know the 'right' way to do this. So, please explain.

http://tinymce.moxiecode.com/develop/bugtracker_view.php?id=3789