Merge pull request #59 from samoht/master

Nice graphs
Merge pull request #60 from samoht/master

Fix IrminMemory.Make to share all its store instances
Add some colors to the graph JS output
Add an intrusion example
Add a process example
Merge pull request #61 from samoht/cleaner-graphs

Cleaner graphs
Prepare the 0.8.1 release
Merge branch 'master' of github.com:mirage/irmin into cleaner-graphs
Fail if make_static fails
Colorize the javascript graph new nodes
WIP
More work on the new dump API.

The goal is to support cloning/fetching/pushing to remote repo.

current status: compiles, but fails the tests
Merge branch 'WIP-dump' of github.com:samoht/irmin into WIP-dump

Conflicts:
	lib/core/irminDump.ml
	lib/core/irminDump.mli
	lib/driver/irminCLI.ml
	lib/driver/irminResolver.ml
	lib/driver/irminResolver.mli