Improve mk-miner submodule.
-rw-r--r-- 25 .gitignore
-rw-r--r-- 91 .gitmodules
-rw-r--r-- 1034 Base.hs
-rw-r--r-- 600 Config.hs
-rw-r--r-- 200 Main.hs
-rw-r--r-- 8996 Oracles.hs
-rw-r--r-- 8444 Package.hs
-rw-r--r-- 684 README.md
-rw-r--r-- 4342 Ways.hs
-rw-r--r-- 122 autoconf
-rw-r--r-- 147 build.bat
-rw-r--r-- 77 configure
-rw-r--r-- 43 configure.ac
-rw-r--r-- 1404 default.config
-rw-r--r-- 1289 default.config.in
drwxr-xr-x - doc
m--------- - mk-miner
-rw-r--r-- 24 user.config