Travis CI used

Travis CI is now used, too, to leverage its integration with GitHub.
Nevertheless, the build and upload of artifacts still happens from the
servers of the department