Add separate printDebug() function and add functions to switch both printDebug() and printProgress() on and off (printDebug() defaults to off, printProgress() defaults to on). Rename state machine client.c to state_machine_public.c and split out headers from state_machine.h (now state_machine_interface.h) and state_machine_public.h.