Use gradle to build the app instead of ant

Gradle is the new recommended build system.

Also, while at it, fix the command to create the .gitignore file: before
this change only local.properties was being written in .gitignore

Update the android-sdk and install more packages

Use a variable to set the base directory for Android development

setenv: check in a more robust way that the script is being sourced

Sometimes a leading '-' shows up in $0 for login shells, for example
this happens when opening a shell with "sudo -i"; in these cases $0 will
look like "-bash" instead of "bash", and the comparison with $(basename
$SHELL) fails even if the script is being sourced.

Fix this by stripping the leading '-'.

androink.py: indent to match more closely what pep8 suggests

androink.py: support both mdpi and hdpi as baseline densities

Also replace the word "resolutions" with "density" which is more
accurate in this context.

androink.py: adjust the help text of the --single_file option

setenv: warn that the script is meant to be sourced, not executed

Initial import