Add irmin 0.8.1