Кстати, на самом деле не нужно что-то копировать в /usr/share/... (ну и вообще в /usr), можно создать эти каталоги (gtksourceview-2.0/styles , gtksourceview-2.0/language-specs ) в ~/.local/share (если что, ~ -- это домашний каталог текущего пользователя) и соответствующие файлики покидать туда. Т.о. можно обойтись без привелегий суперпользователя (если конечно gtksourceview для питона уже установлен).

PS. Да, та подсветка что там есть, заработала.