Added book dropdown and automatic section changes for different books.
Problem with value of sections, says it's undefined when it is not.
Added .js files for Book1 and Book2.
Found addJavascript function to be able to use functions from new .js files in proof_checker.js.
Created History() to keep track of past checkSteps.
Put placeholder into input for Substitution.