clean up README a bit
Revert "Merge remote-tracking branch 'kayousterhout/0.9_profiling'"

This reverts commit 3454e29b1c08c06d86ada40ca9d7f3d679a2e9f1, reversing
changes made to 77efbc3a17c7c8437839fa123b999fceb71b5993.