Update the deploy instructions, they were quite out of date
Switch to using the new Hackage database, thanks to Duncan putting it back