created scribble_to_typestate folder

this folder contains examples of the translation
added .scr files for the buyers and seller example
minor modification: prettify
created negotiation folder

a binary example: producer and consumer;
the folder contains .scr files
translation into typestate of roles C and P