Deleting themes

In some free time I have implemented a needed (IMHO) feature: Delete a user theme. Currently, delete a gtk/icon/metacity theme in the theme details window, not a metatheme.