Formatting fixups.
Merge remote-tracking branch 'upstream/master'
Update the API to include computation time in responses.
Rebuild thrift structures and write the computation time to the responses.
Use the accelerated binary protocol and print the server-side computation time.