Added checks for various conditions that previously caused exceptions (mostly NullPointerExceptions)
Changes required to get Proof Pad to load the cache and find/run ACL2 with my configuration (may or may not generally be required)