ADDED: Elementary hover facility.
Get server enriched data
ADDED: /help/predicate_info handler, which replies information about
a predicate.
Use jQuery and laconic in the hover functionality
Added cm.predicateInfo()
Compensate for modified autoload classification
Provide summary documentation when hovering a predicate.