Merge pull request #18 from avsm/master

Travis: build mirage-skeleton
Merge pull request #19 from avsm/master

Add cowabloga trunk
fix cowabloga
Merge branch 'master' of github.com:mirage/opam-repo-dev
add mirage-xen