Updated Travis-CI config (incl. 4.2.x branch)