Further configuration of the GIT repository, including towards Travis automatic code checking