Replace Gtk.TextView by Gtk.SourceView in Editor widget.

Makefile was modified to use the new library. The other changes
are quite easy because SourceView is a child of TextView.
Deletes two properties from notebook user interface.