Add irmin 0.8