I've made a script which outputs everyones badges to an xml file for 3rd party export. The badge information can be downloaded here:
And will be updated daily. This information can also be found in the show_user.php page, e.g.:
Let me know how it's working!