typo
Code tab points to mirage github org page

Signed-off-by: Mike McClurg <mike.mcclurg@citrix.com>
Merge pull request #5 from mcclurmc/avsm-to-mirage-org

Code tab points to mirage github org page
Cstruct.copy_buffers renamed to Cstruct.copyv
Merge pull request #6 from djs55/cstruct

Cstruct.copy_buffers renamed to Cstruct.copyv
refresh build scripts to use oasis-mirage fork (with nobj support)
quick hack to always open Disptch to track odd problem
Use mirari
Remove mirari.ml
Update gitignore
Remove temp files
Update Makefile
Update to latest mirari
Update to latest mirari
Improve Makefile and add missing dependency