For Travis CI - move Raspberry-Pi build to its own CI mirror branch.
For Travis CI - switch CI build to use Android build environment.