Updated GtkSourceView language specs.
Fixed a bug where saving a file under a different file extension caused a change in syntax highlighting of that file but without changing the state in
the View menu.
Fixed #20.