Adds Travis-CI specific configuration files