german/mediathek:

• Rename the port to german/mediathekview to reflect upstream change (a long time ago)
• Update to 13.0.1
• Use upstream's Java start parameters in mediathekview.in
• Switch from .zip to .tar.gz distfile
• Add an OPTION for multimedia/mpv as player / backend
• Modernize OPTIONS