Remove uhc-agda-base, moved to the Agda repository
TODO