Rename path_constraints.h file to recorder.h

The new header file will contain the necessary infrastructure to record
events on a per-thread basis.