gui in python using gtk and matplotlib to display graphs