Merge pull request #1 from vbmithr/master

mirari clean and autoswitch feature
Merge pull request #3 from vbmithr/master

Updated the README
fix use of DESTDIR

DESTDIR should be for a fake root; add BINDIR which specifies the actual target dir
Fixed mir-crunch
Merge pull request #4 from vbmithr/fix-mir-crunch

Fixed mir-crunch
Install `obuild` automatically in all compiler switches (such as Xen)
bump version to 0.9.2 and add Vincent to authors list
Improved Makefile
Added skeleton for mirari run
Merge pull request #5 from vbmithr/master

Improved Makefile (again) and a skeleton for mirari run.
Added main.noip parameter in the config file, fixing #7. Note that it is not possible to both main.ip and main.noip functions for now, should be fixed in the future
Merge pull request #10 from vbmithr/master

Do not require an app to use the networking manager.
Remove filesystem_*.ml while cleaning
Merge pull request #12 from vbmithr/master

Clean generated "filesystems" while cleaning
Import an updated version of avsm's ec2.sh AMI bundling script

Signed-off-by: Mike McClurg <mike.mcclurg@citrix.com>
Merge pull request #13 from mcclurmc/ec2-script

Import an updated version of avsm's ec2.sh AMI bundling script
mirari run --unix now runs unikernels for the UNIX backend.
Add fd-send-recv as a dependency for unikernels if target is unix-direct
Better error message on Ctrl+C
Put an IP on tapX, in order for tuntaposx to work.