android: pass extra arguments to configure script

With this patch we are able to pass extra arguments to the general
'configure' script, ie: --prefix=/home/john/opt/.