Add theme function for search result

I've added a fourth option in the settings, Use theme function, and added a theme function to let themes alter the search result output.