Small clean up of Jenkinsfile-manual required after rebuilding Jenkins. Also improved .travis.yml a bit.
Build both platforms as in 99% both are needed. This PR also fixes a bug when it was possible to build a binary for one platform but both were uploaded -- new one and cached one for the second platform.