Functional methods for Heavy Quark Effective Theory