Revert "Remove app file."

This reverts commit c1e0abd48fe436556b236e12d9deab5f0098676b.
Include the mochinum module.