Release 4.0.0: Hybrid Symbolic/LLM Support

Lisa version 4.0.0 is a major new release that integrates Anthropic's Claude with Lisa's symbolic reasoning engine.