VLC for Android 1.7.1

This is a minor update above 1.7.0 to fix seeking deadlocks and sound-loss,
and numerous issues, crashes and visual glitches of the interface
This tag has no release notes.