Updates to the external MiniOS

Updates the "Upgrade to new (separate) kernel and libm, and drop dietlibc" branch in #93 to:

* only support OCaml 4.01.0
* add `PKG_CONFIG_PATH` for current opam switch to makefile.