source/ : more profiling work.
.gitignore: reduce clutter.
AppendixB: adjust source line range.
Chapter 3: content.
More benchmark stuff.
Add \reftab
Change abstract.
Reword acknowledgements.