[travis] 1.1.0 released
Merge branch 'master' of https://github.com/mirage/mirage-skeleton
Merge branch 'master' of https://github.com/mirage/mirage-skeleton
Merge pull request #35 from avsm/master

Add a custom xen-only static website to demonstrate kernel command line parsing
update readme
Merge branch 'master' of github.com:mirage/mirage-skeleton
add UNLICENSE

Closes #36
[skip ci]
Merge pull request #37 from amirmc/license

add UNLICENSE
[make] make the `run` rules print instructions due to persistent sudo issues
Merge branch 'master' of https://github.com/mirage/mirage-skeleton
[make] tweak run output based on configure target
Merge pull request #38 from mor1/master

travis and make tweaks
dispatch.ml depends on Re_str

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #40 from djs55/re

dispatch.ml depends on Re_str
Dns: add timeout function as per the DNS 0.9.0 API