Build is done manually by the regular build.sh script. All we need is the setup (setting of CXXFLAGS etc.) and the upload part. This allows to easily run multiple build runs (e.g. in different configurations) Closes #94
