ProServer has a new home and new instructions for downloading:
http://www.sanger.ac.uk/proserver/