Improved

• When adding a URL via Android's share system, show a dialog asking which player to share to and add buttons for play, add, or insert.
• Add option to auto-discover servers when connection is lost (enabled by default).
