add cleveref.sty, taken from texlive 2011 distribution, in case someone does not have it