Android build tweaks

Two build options for the Android platform. One is for excluding Lua bindings, the other one to build as a static library.