Update to new codetrans and docgen GAVs