Added ProgramRunner to run ACL2 executable. Added FileUtils utility class for reading character and room files. (Stuff for updating character and room files could go there in the future.)