Add the Travis-CI configuration.