Add ShareLaTeX CI badge