move datamerger proof into standard directory location (formal/),