minor changes to the Travis-CI website

Signed-off-by: Floyd Pink <imbleedingme@googlemail.com>
[ci skip]