Change doc matplotlib backend to Cairo
Fall back to 'xml' format when unpickling graph in old format
Fix bug in graph_io_binary.hh with vector<string> property maps