uicore/Console: use wxTextCtrl instead of wxRichTextCtrl

wxRichTextCtrl uses Html under the hood, but wxTextCtrl is able to do the same stuff without needing HTML support in wxWidgets

This will help us making the built wxWidgets library smaller
cmake/wxWidgets: exclude components we don't need

this makes the wxWidgets library smaller

old wx: 17521784 B
new wx:  5551187 B
diff: -68.3%

old package: 82756 kB
new package: 70988 kB
diff: -14.2%

old time: 37m18s
new time: 29m12s
diff: -21.7%
travis: compile embedded wxGTK, because it shouldn't take long anymore