Python plugins for kdevelop