Adding files for Sequent Calculus LJ

Just the structure. The files are empty.