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. Note that the build, so configured, currently fails due to the issue resolved by #365.