[tools] include "short patches" as `pypmc.tools.patch_data`