clean up pureLamportDelivery, remove old one-off lamport.rb