Shift demo files
Add source tetra factorial demo
driver: make -to-salt work with Core Tetra modules
driver: do Salt opts when converting Source Tetra to Salt
driver: make -to-llvm work for Source Tetra files, and always check core before conversion.