re-add certification to package VersalDeformations -- the author accidentally deleted it