[jhc] darcs patch: create shorter ho cache file names with ... (and 1 more)

Fri Jul 23 03:26:17 PDT 2010 John Meacham * create shorter ho cache file names with base 32 instead of hex Fri Jul 23 05:13:47 PDT 2010 John Meacham * add message to jhci banner explaining it is not a full interpreter