[Android] Package name must be specified even having manifest

Package name is the ID of an Android application,
and the manifest will not carry the package field.
We should never generate the package name based on some rules we invented.
So it must be specified in argument.
This kind of check can always be simplified:

```python
if not options.package:
  fail_and_exit_early()
VerifyAppName(...)
```