Packages from the vendor aerynl

aerynl/refinement
aerynl/reg-and-auth