Fixes #210. * doc/org/ltldo.org: Actually execute the code writing sample.ltl, and remove the file once it is not used anymore.