* Add build stage to Jenkinsfile
* Run travisbuild in bash rather than sh
* Add GCC/Clang differentiation
* Use different working directory for each build type.
* Correct directory name
* Remove travis config file
* Always clean workspace afterwards
* 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