app: port GimpImageMapTool's settings API from filename to GFile