Adds mithril in MVC.

Adds mithril in MVC.