Add new file setenv.sh

* Add new file setenv.sh. The file can be invoked with

  $ source ./setenv.sh

 and will configure the actual shell for for Raspberry Pi
 cross-compiling.