Switch wpcli 'achievements-users list' command to use assoc arg param
In dpa_parse_args(), switch $defaults default from string to array.

Also, only perform an array_merge() if the array to merge with is not
empty.

Via bbPress revision 4916
Add ignore_sticky_posts to widget queries
 Add ignore_sticky_posts to dpa_has_progress and dpa_has_achievements
Remove unneeded file_exists check around the load_textdomain call.

See bbPress revision 4934
Remove /extend/ from WP.org URLs

See https://core.trac.wordpress.org/ticket/24389
Add custom post updated messages for the achievement post type to wpadmin
Optimise query when processing deleted posts
Further tweaks to dpa_before_achievement_deleted
New function: dpa_has_user_unlocked_achievement

Has a specific user unlocked a specific achievement?
Move user notifications tidy up code into dpa_get_user_notifications()
Change dpa_has_user_unlocked_achievement to use dpa_get_progress

Also fixes a problem where the author parameter wasn't passed. Oops!
Pop some extra parameters into the dpa_delete_achievement_progress query
Fix typo in variable name
Add new WP_CLI command to remove an unlocked achievement from a user
Rename "remove" WP CLI command to "revoke"
Remove the decrease user unlock count logic out of the admin screen method and into dpa_delete_achievement_progress
Add new WP_CLI command to award an achievement to a user
Prevent PHP Notice when running WP via CLI
Add after-delete-progress action for plugin authors