Add export section to terminal velocity interactive

So this will work with CODAP