Fixed travis-ci badge linking to wrong project.