Changes

contrib/android: remove unused duplicate android manifest

Wasn't correctly fixed in a55490d4f65bfc97033b49a5ae237943e28d5cc7

Thanks to Eric Schnetter for reporting the issue,
it caused a filename conflict on case-insensitive filesystem (MacOS).

Closes #441

Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
(cherry picked from commit db423bc93bf10114015ba652ce36d35cf1c5207f)