Renormalons and the heavy quark effective theory