Benchmarks

- A new benchmark (pidigits) from the benchmark game, which exhibits poor memory usage.
- A patch to remove some warnings that were bugging me when building the benchmark directory.  idris --clean *.ipkg  was trying to delete nonexistent files.