Update installation instructions

Somebody renamed the repo I think?