Included Mithril definitions.

This PR adds definitions for Mithril (re: definition request #2168). This isn't my own work - I made only minor contributions to these definitions - but the author @lhorie is happy for it to be included here. (https://github.com/lhorie/mithril.js/pull/237)