JenkinsFile: Build on server

[MrKevinWeiss]

This is a big update and cleanup of the JenkinsFile.

The notable changes are:

• Reproducible builds with riot_build build server that runs BUILD_IN_DOCKER
• Extra parameters for more control over what is tested and how to test
• cleanup and documentation of functions
• Use gitcache to reduce network traffic