Added BBBAndroid build support and TaintDroid settings into build