Switch to Gtk2Hs 0.13 and leksah-server 0.14