* Add Jenkins build script, so it can actually be used.
* Build tools
* Reduce build threads to 2 so as not to overload server
* Rename CIBuild.sh to travisbuild.sh, better reflect actual use
* Echo commands as they are executed
* Add toolchain file configuration
Alexander Harkness