Add instructor trace-builder endpoint and UI preview#148

sidprasad wants to merge 1 commit intomainbrownplt/LTLTutor:mainfrom

codex/add-tool-for-building-spot-tracesbrownplt/LTLTutor:codex/add-tool-for-building-spot-tracesCopy head branch name to clipboard