Add irmin 0.8.2