[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 WIP dev preview checklist for release call
update checklist
add minutes from 2013-04-23 and adjust layout
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