Update Irmin name and repo change
Merge pull request #2105 from samoht/master

Update Irmin name and repo change