Don't use MinimizeButton() for AUI panes, since it doesn't seem to be supported anyway.

Do specify sizes for SourceViewerPanel, ExplanationViewer, StateEvaluationTree, StreamStatePanel, and StateGraphViewerPanel, because otherwise bad things happen with wxAUI (e.g. the StreamStatePanel would disappear when attempting to drag on Mac OS X).