Get Heppy 7.2.2.patch2 from Colin

Get from @cbernet and @arizzi the latest version of Heppy