Use makefile to make .apk
Don't ignore contrib/GambitREPL/android/makefile