[git] update gitignore
[mirari] add missing deps
[make] add mir-www to clean
[mirari] upgrade to opam fixed bad version selection
Merge pull request #16 from mor1/master

tweak gitignore; couple of missing deps in www.conf
update Makefile to detect Xen automatically
remove unused server.ml, now replaced by autogen mail.ml and mirari
add CONF_FLAGS to makefile
Merge branch 'master' of https://github.com/mirage/mirage-www
Merge branch 'master' of https://github.com/mirage/mirage-www

Conflicts:
	src/www.conf
add weekly minutes for 30th april
typo
Merge branch 'master' of https://github.com/mirage/mirage-www
[papers] add asplos paper
[git] ignore more build droppings
Merge branch 'master' of https://github.com/avsm/mirage-www
Merge pull request #12 from mor1/master

tweak gitignore; add asplos paper
add minutes for 2013-05-14
Merge branch 'master' of github.com:mirage/mirage-www
blog post: the road to a dev release