plugin.git: added way to select alternative mappings
README: added information about the --filename-mapping option
plugin.git: handle if wrong filename mapping is given