added Glasgow typestate folder

Alice and Bob protocol; File example; Buyers and Seller protocol with
sockets