maude: update full-maude to version 2.6.1e