Added a recommendation.
Cleaned up the clean.bash script.
Eliminated Appendix_Derivation, because we weren't using it.
typeset.bash now "revert"s the pdf file in Skim. Skim now keeps its place in the file. No need to close the file and reopen it again.