Switch to ShareLaTeX ci