"Favorit" renamed to "Hervorhebung" to match star

I am not sure if "Hervorhebung" is a better german word for "star". Perhaps not needed if github/android#544 is implemented.