Heavy Quark Effective Theory beyond Perturbation Theory: Renormalons, the Pole Mass and the Residual Mass Term