Import old codebase dated 2007-12-14
Implemented more functions:
  holl-mark-term
  holl-send-line
  holl-send-goal
  holl-sent-tactic