Don't fail when command line opts not found
Fix synchronous loading in the presence of subdirs and .ipkg files
Merge pull request #233 from david-christiansen/fix-loading

Fix loading with .ipkg files
Update keyword list to contain all tactics
Add "proof" and "tactics"
Implicit arg kwds
Fix highlighting of "let"
Merge pull request #234 from david-christiansen/kwd-updats

Better highlighting of keywords