VLC for Android 1.3.1

This is an important update of VLC for Android, adding numerous features, and working on the UI.
This tag has no release notes.