Move platform-specific stuff into config variables.

Reduce number of scripts. Keep config on jenkins.
Merge pull request #87 from adriaanm/master

Move platform-specific stuff into config variables.