Grep interface plugin for Gedit