updated README to renamed link example/dining-philosophers-stmx.lisp