android: add IMediaPlayer.getMediaInfo
android/MediaInfo: simplify