Application: Remove add_option_entries().

Because it seems useless. We need a new function, I think.
See glib bug:
https://bugzilla.gnome.org/show_bug.cgi?id=727602