Rename alter hook for external coders

Currently the code has:

  // Allow other modules to alter the coder definitions.
 drupal_alter('facetapi_pretty_paths_facetapi_pretty_paths_coders', $coders); 

I think this is a mistake, and I feel it should be:

  // Allow other modules to alter the coder definitions.
  drupal_alter('facetapi_pretty_paths_coders', $coders);

So custom coders could be added with hook_facetapi_pretty_paths_coders_alter() instead of hook_facetapi_pretty_paths_facetapi_pretty_paths_coders_alter()

Patch will follow