fixed: install dune.module
Merge pull request #243 from akva2/install_dune_module

fixed: install dune.module