Merge pull request #1 from takikawa/master

Add dependencies to info.rkt
Fix several documentation problems.
Merge pull request #2 from samth/master

Fix several documentation problems.
Add a benchmarking script