2013-02-03-21.08.27: src/lib/make-library-glue/patchable-file.api:  Added get_patch_names.