Merge pull request #1 from dmyersturnbull/master

No-fail Criterion and print fix. Now caught up on outstanding commits.
Adding .gitignore

Ignoring project files
We don't need to use ResourceList.