Updated some repository names

Also added installation instructions.