Hypoelliptic Laplacian and twisted trace formula