Add uhc-agda-base as data files