The widget now displays a "real" console.
The history does not record empty commands anymore.
Code cleanup.
Merge branch 'devel'

Conflicts:
	src/gtkpyinterpreter/gtkpyinterpreter.py