Use ShareLaTeX CI for building PDF