Added cleveref.sty for LaTeX distros that don't have it.