Chinmay Badjatya

Added a section for instrumentation with Olly.

#require domainslib throws "No such package" on utop

2

Running utop 2.13.1, OCaml 5.0.0 Steps to recreate - ``` opam install domainslib utop #require "domainslib" ```

` frontiers_len += h_nitems; depth_index.push_back(frontiers_len); bc_forward(m, d_row_offsets, d_column_indices, d_path_counts, d_depths, depth, d_changed, d_visited, d_expanded, d_nitems, d_frontiers, frontiers_len); CudaTest("solving bc_forward failed"); bc_update (m, d_depths, d_visited); CudaTest("solving bc_update failed"); ` Removing these...