Mfe hooks ltlr

This branch combines Maude+MFE with the two model checker extensions,
namely, LTLR (linear temporal logic of rewriting) and narrowing-based LMC
(logical model checker).