add easyconfigs for HEALPix and CRPropa + deps