Build and test idris from the source distribution, not the git repository

This ensures that missing data-files and extra-source-files entries are caught.