Reorganised structure, including new papers directory.
Skeleton of ITP paper.
Merge pull request #3 from mn200/solving_scc_lemma_1_4_induct_on_S

Reorganisation of directory structure - start of paper.