For Travis CI - move Raspberry-Pi build to its own CI mirror branch.