Mostly VL server cleanups
  - New, common command system for ACL2 functions
  - Javascript wrappers that know about this command format
  - Better error handling system with backtraces -> browser, even
  - Memory management tweaks

VL lint bugfix: don't create fatal warnings when dropping 0 instances