Add patrol example for ltlworkshop.