python snippet manager