Correct ShareLaTeX CI badge