New on CTAN: clrscode3e